Observational Equivalence and Program Extraction in the Coq Proof Assistant.
In: TLCA; (2003) S. 271-285
Konferenz
Zugriff:
Titel: |
Observational Equivalence and Program Extraction in the Coq Proof Assistant.
|
---|---|
Autor/in / Beteiligte Person: | Oury, Nicolas |
Link: | |
Quelle: | TLCA; (2003) S. 271-285 |
Veröffentlichung: | 2003 |
Medientyp: | Konferenz |
DOI: | 10.1007/3-540-44904-3_19 |
Sonstiges: |
|