<  Retour au portail Polytechnique Montréal

Documents dont l'auteur est "Argon, P."

Monter d'un niveau
Pour citer ou exporter [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Réseau de collaboration
Nuage de mots
Nombre de documents: 1

Argon, P., Mullins, J., & Roux, O. (juillet 1996). A correct compiler construction using Coq [Communication écrite]. Workshop on Proof Search in Type-Theoretic Languages (CADE 1996), New Brunswick, USA. Non disponible

Liste produite: Wed Jan 22 03:36:21 2025 EST.