Article Dans Une Revue
Annals of Pure and Applied Logic
Année : 2006
Roberto Di Cosmo : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00149560
Soumis le : samedi 26 mai 2007-22:54:42
Dernière modification le : vendredi 19 avril 2024-14:08:07
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⟩
Collections
51
Consultations
0
Téléchargements