In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming (Q5108530)
From MaRDI portal
scientific article; zbMATH DE number 7196232
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming |
scientific article; zbMATH DE number 7196232 |
Statements
In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming (English)
0 references
4 May 2020
0 references
logic programming
0 references
meta-programming
0 references
model theory
0 references
barber paradox
0 references
Russell's paradox
0 references
reflection
0 references
0 references
