A Complete Characterization of Complete Intersection-Type Theories

Autor: Dezani-Ciancaglini, M., Honsell, F., Alessi, F.

We characterize those intersection-type theories which yield complete intersection-type assignment systems for lambda-calculi, with respect to the three canonical set-theoretical semantics for intersection-types: the inference semantics, the simple s

Externí odkaz: http://arxiv.org/abs/cs/0011039

Compositional characterisations of [formula omitted]-terms using intersection types

Autor: Dezani-Ciancaglini, M. ^*, Honsell, F., Motohama, Y.

Publikováno v: In Theoretical Computer Science 2005 340(3):459-495

The ∆-framework

Autor: Honsell, F., Liquori, L., Stolze, C., Scagnetto, I.

Publikováno v: 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, (FSTTCS) 2018
38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, (FSTTCS) 2018, Dec 2018, Ahmedabad, India. pp.37:1--37:21, ⟨10.4230/LIPIcs.FSTTCS.2018.37⟩

International audience; We introduce a dependent-type theory ∆-framework, LF-∆ , based on the Edinburgh Logical Framework LF, extended with the strong proof-functional connectives intersection, union, and relevant implication. Proof-functional co

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::6a645222b3bbe93f095b382c3f064ccd
https://hal.archives-ouvertes.fr/hal-01701934v2/document

Furio Honsell, Carlo Malinconico, Maurizio Maresca Oltre Trieste una via per l'Europa Una proposta di sistema logistico tra Friuli, Venezia Giulia, Slovenia e Istria

Autor: Honsell, F, Malinconico, C, Maresca, Maurizio

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3659::aac3cf8d41e3a550197b3f81aabf3c39
http://hdl.handle.net/11390/848875

Inverse limit models as filter models

Autor: Dezani, Mariangiola, Alessi, F., Honsell, F.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______970::b04fba653fedab4cec37c5ecc409a35a
http://hdl.handle.net/2318/28790