Skip to Main content Skip to Navigation
Reports

Subtyping recursive types

Abstract : 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.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00070035
Contributor : Rapport de Recherche Inria <>
Submitted on : Friday, May 19, 2006 - 6:52:40 PM
Last modification on : Thursday, February 11, 2021 - 2:48:31 PM
Long-term archiving on: : Tuesday, February 22, 2011 - 11:07:18 AM

Identifiers

  • HAL Id : inria-00070035, version 1

Collections

Citation

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

Share

Metrics

Record views

241

Files downloads

423