In praise of impredicativity: a contribution to the formalization of meta-programming (Q5108530)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7196232
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.7471744418144226
0 references
0.7425321340560913
0 references
0.7392531633377075
0 references
0.726204514503479
0 references
