Remarks on isomorphisms in typed lambda calculi with empty and sum types - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Annals of Pure and Applied Logic Année : 2006

Remarks on isomorphisms in typed lambda calculi with empty and sum types

Dates et versions

hal-00149560 , version 1 (26-05-2007)

Identifiants

Citer

Marcelo Fiore, Roberto Di Cosmo, Vincent Balat. Remarks on isomorphisms in typed lambda calculi with empty and sum types. Annals of Pure and Applied Logic, 2006, 141 (1-2), pp.35-50. ⟨10.1016/j.apal.2005.09.001⟩. ⟨hal-00149560⟩
51 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More