scientific article; zbMATH DE number 7577586

MaRDI QIDQ5101355

M. Clarence Protin, Gilda Ferreira

Publication date: 30 August 2022

Full work available at URL: https://arxiv.org/abs/2104.13675

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

intuitionistic logicLambda calculustype inferencetypabilityatomic polymorphism

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Typability and type checking in System F are equivalent and undecidable
• The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives
• A refined interpretation of intuitionistic logic by means of atomic polymorphism
• Rasiowa-Harrop disjunction property
• Comments on predicative logic
• The naturality of natural deduction
• Embedding first order predicate logic in fragments of intuitionistic logic
• η-conversions of IPC implemented in atomic F
• Atomic polymorphism
• Type inhabitation of atomic polymorphism is undecidable
• What’s Decidable About (Atomic) Polymorphism?