On paradoxes in normal form

DOI10.1007/s11245-018-9543-7zbMath1428.03073OpenAlexW2794412309MaRDI QIDQ2288281

Paolo Pistone, Mattia Petrolo

Publication date: 17 January 2020

Published in: Topoi (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11245-018-9543-7

Mathematics Subject Classification ID

Structure of proofs (03F07) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items

Core Type Theory ⋮ Game of grounds

Uses Software

• Pesca

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Linear logic, coherence and dinaturality
• Functorial polymorphism
• Lectures on the Curry-Howard isomorphism
• Ekman's paradox
• Validity concepts in proof-theoretic semantics
• Coherence in closed categories
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• Functorial Boxes in String Diagrams
• Proof and Paradox
• Data Types as Lattices
• On Paradox without Self-Reference
• Paradox without Self-Reference
• Identity of Proofs Based on Normalization and Generality
• A-translation and looping combinators in pure type systems
• On the interpretation of intuitionistic number theory