No label defined (Q4325789)
From MaRDI portal
scientific article; zbMATH DE number 733401
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 733401 |
Statements
18 September 1995
0 references
polymorphic lambda calculus
0 references
polymorphic higher-order logic
0 references
impredicative type theory with excluded middle
0 references
principle of definite description
0 references
principle of proof irrelevance
0 references
