Type inhabitation of atomic polymorphism is undecidable

DOI10.1093/LOGCOM/EXAA090OpenAlexW3134773695MaRDI QIDQ5858127

M. Clarence Protin

Publication date: 9 April 2021

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exaa090

zbMATH Keywords

polymorphismfunctional programminglambda-calculussecond-order intuitionistic propositional logiccurry-Howard correspondence

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Related Items (5)

A refined interpretation of intuitionistic logic by means of atomic polymorphism ⋮ The existential fragment of second-order propositional intuitionistic logic is undecidable ⋮ Atomic polymorphism ⋮ Title not available (Why is that?) ⋮ Undecidability of equality for codata types

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• The underdetermination of typings 👍 👎
• Undecidability of equality for codata types 👍 👎
• Atomic polymorphism and the existence property 👍 👎
• On polymorphic types of untyped terms 👍 👎
• On Polymorphic Types of Untyped Terms 👍 👎
• Type sharing constraints and undecidability 👍 👎
• What’s Decidable About (Atomic) Polymorphism? 👍 👎

This page was built for publication: Type inhabitation of atomic polymorphism is undecidable

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5858127)