Article Dans Une Revue
IEEE Symposium on Logic in Computer Science
Année : 2002
Roberto Di Cosmo : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00151252
Soumis le : vendredi 1 juin 2007-22:30:02
Dernière modification le : mardi 16 avril 2024-13:01:22
Citer
Marcelo Fiore, Roberto Di Cosmo, Vincent Balat. Remarks on isomorphisms in typed lambda calculi with empty and sum types. IEEE Symposium on Logic in Computer Science, 2002, pp.147. ⟨10.1109/LICS.2002.1029824⟩. ⟨hal-00151252⟩
Collections
48
Consultations
0
Téléchargements