Cristian Sottile

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 3

Top Topics

Evaluation Measures

Ontology Development

Machine Processable

Top Venues

Publications

Pablo Barenbaum, Cristian Sottile
Two Decreasing Measures for Simply Typed λ-Terms. FSCD (2023)
Pablo Barenbaum, Cristian Sottile
Two Decreasing Measures for Simply Typed Lambda-Terms (Extended Version). CoRR (2023)
Cristian Sottile, Sergio Firmenich, Diego Torres
An End-User Semantic Web Augmentation Tool. IS-EUD (2019)