Compositional Characterisations of λ-terms using Intersection Types ⋆ (2007)
M. Dezani-ciancaglini, F. Honsell, Y. Motohama
We show how to characterise compositionally a number of evaluation properties of λ-terms using Intersection Type assignment systems. In particular, we focus on termination properties, such as strong...
Compositional Characterisations of λ-terms using Intersection Types (2005)
M. Dezani-ciancaglini, F. Honsell, Y. Motohama
We show how to characterise compositionally a number of evaluation properties of #-terms using Intersection Type assignment systems. In particular, we focus on termination properties, such as strong...
The minimal relevant logic and the call-by-value lambda calculus (1999)
S. Van Bakel, M. Dezani-ciancaglini, Y. Motohama
The minimal relevant logic B+, seen as a type discipline, includes an extension of Curry types known as the intersection type discipline. We will show that the full logic B+ gives a type assignment...
The minimal relevant logic and the call-by-value lambda calculus (1999)
S. Van Bakel, M. Dezani-ciancaglini, Y. Motohama
The minimal relevant logic B+, seen as a type discipline, includes an extension of Curry types known as intersection type discipline. We show that the full logic B+ gives a type assignment system...
The minimal relevant logic and the call-by-value lambda calculus (1999)
S. Van Bakel, M. Dezani-ciancaglini, Y. Motohama
The minimal relevant logic B+, seen as a type discipline, includes an extension of Curry types known as the intersection type discipline. We will show that the full logic B+ gives a type assignment...
The Minimal Relevant Logic and the Call-by-Value Lambda Calculus (1999)
S. Van Bakel, M. Dezani-ciancaglini, U. De'Liguoro, Y. Motohama
The minimal relevant logic B+, seen as a type discipline, includes an extension of Curry types known as the intersection type discipline. We will show that the full logic B+ gives a type assignment...
The minimal relevant logic and the call-by-value lambda calculus (1999)
S. Van Bakel, M. Dezani-ciancaglini, Y. Motohama
The minimal relevant logic B+,seenasatype discipline, includes an extension of Curry types known as intersection type discipline. We show that the full logic B+ gives a type assignment system which,...