A new paradox in type theory
- 1 January 1995
- book chapter
- Published by Elsevier in Studies in Logic and the Foundations of Mathematics
- Vol. 134, 555-570
- https://doi.org/10.1016/s0049-237x(06)80062-5
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- A formulation of the simple theory of typesThe Journal of Symbolic Logic, 1940