PABLO BARENBAUM; SIMONA RONCHI DELLA ROCCA; CRISTIAN SOTTILE

Strong normalization through idempotent intersection types: a new syntactical approach

Electronic Notes in Theoretical Informatics and Computer Science; Lugar: Glasgow; Año: 2025

PABLO BARENBAUM; CRISTIAN SOTTILE

Two decreasing measures for Simply Typed Lambda-Terms Two decreasing measures for Simply Typed Lambda-Terms

Leibniz International Proceedings in Informatics; Lugar: Wadern; Año: 2023

CRISTIAN F. SOTTILE; ALEJANDRO DÍAZ-CARO; PABLO E. MARTÍNEZ LÓPEZ

Polymorphic System I

ACM International Conference Proceeding Series; Año: 2020 vol. IFL p. 127 - 137

SOTTILE, CRISTIAN; FIRMENICH, SERGIO; TORRES, DIEGO

An End-User Semantic Web Augmentation Tool

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Eindhoven; Año: 2019 vol. 1155 p. 239 - 243