Program Testing and the Meaning Explanations of Intuitionistic Type Theory (Q5253930)
From MaRDI portal
scientific article; zbMATH DE number 6443425
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Program Testing and the Meaning Explanations of Intuitionistic Type Theory |
scientific article; zbMATH DE number 6443425 |
Statements
Program Testing and the Meaning Explanations of Intuitionistic Type Theory (English)
0 references
5 June 2015
0 references
