Article Dans Une Revue
Theoretical Computer Science
Année : 1990
UAR 3608 République des savoirs : Connectez-vous pour contacter le contributeur
https://hal-ens.archives-ouvertes.fr/hal-03316044
Soumis le : vendredi 6 août 2021-11:02:45
Dernière modification le : mardi 26 juillet 2022-09:43:10
Citer
Giuseppe Longo, Eugenio Moggi. A Category-theoretic characterization of functional completeness. Theoretical Computer Science, 1990, 70 (2), pp.193-211. ⟨10.1016/0304-3975(90)90122-X⟩. ⟨hal-03316044⟩
14
Consultations
0
Téléchargements