POLYMORPHISM AND THE OBSTINATE CIRCULARITY OF SECOND ORDER LOGIC: A VICTIMS’ TALE
From MaRDI portal
Publication:4637941
DOI10.1017/bsl.2017.43zbMath1496.03023arXiv1710.10205OpenAlexW3099398246WikidataQ129918313 ScholiaQ129918313MaRDI QIDQ4637941
Publication date: 3 May 2018
Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1710.10205
Philosophical and critical aspects of logic and foundations (03A05) Cut-elimination and normal-form theorems (03F05) Proof theory in general (including proof-theoretic semantics) (03F03) Higher-order logic (03B16) Type theory (03B38)
Related Items (3)
Proof Nets, Coends and the Yoneda Isomorphism ⋮ Game of grounds ⋮ On Takeuti's early view of the concept of set
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Logical relations and parametricity -- a Reynolds programme for category theory and programming languages
- Functorial polymorphism
- Combinatory logic. With two sections by William Craig.
- The system \({\mathcal F}\) of variable types, fifteen years later
- Grundgesetze der Arithmetik I \S\S 29-32
- Light linear logic
- The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus
- Fundamental concepts in programming languages
- Parametricity and variants of Girard's \(J\) operator
- Cut elimination in categories
- Domain theoretic models of polymorphism
- A modern perspective on type theory. From its origins until today
- A proof of cut-elimination theorem in simple type-theory
- The naturality of natural deduction
- Hauptsatz for higher order logic
- Intensional interpretations of functionals of finite type I
This page was built for publication: POLYMORPHISM AND THE OBSTINATE CIRCULARITY OF SECOND ORDER LOGIC: A VICTIMS’ TALE