Subtyping recursive types - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1992

Subtyping recursive types

Roberto M. Amadio
Luca Cardelli
  • Function : Author


We investigate the interactions of subtyping and recursive types, in a simply typed lambda-calculus. The two fundamental questions here are whether two (recursive) types are in the subtype relation, and whether a term has a type.


Other [cs.OH]
Fichier principal
Vignette du fichier
RT-0133.pdf (2.97 Mo) Télécharger le fichier

Dates and versions

inria-00070035 , version 1 (19-05-2006)


  • HAL Id : inria-00070035 , version 1


Roberto M. Amadio, Luca Cardelli. Subtyping recursive types. [Research Report] RT-0133, INRIA. 1992, pp.60. ⟨inria-00070035⟩
98 View
186 Download


Gmail Facebook Twitter LinkedIn More