On the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory (Q5458424)
From MaRDI portal
scientific article; zbMATH DE number 5262476
Language | Label | Description | Also known as |
---|---|---|---|
English | On the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory |
scientific article; zbMATH DE number 5262476 |
Statements
On the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory (English)
0 references
11 April 2008
0 references