POLYMORPHISM AND THE OBSTINATE CIRCULARITY OF SECOND ORDER LOGIC: A VICTIMS’ TALE (Q4637941)
From MaRDI portal
scientific article; zbMATH DE number 6866159
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | POLYMORPHISM AND THE OBSTINATE CIRCULARITY OF SECOND ORDER LOGIC: A VICTIMS’ TALE |
scientific article; zbMATH DE number 6866159 |
Statements
POLYMORPHISM AND THE OBSTINATE CIRCULARITY OF SECOND ORDER LOGIC: A VICTIMS’ TALE (English)
0 references
3 May 2018
0 references
second-order logic
0 references
impredicativity
0 references
intuitionistic type theory
0 references
normalization proofs
0 references
0 references
