scientific article; zbMATH DE number 7761005

DOI10.4230/lipics.types.2017.2zbMath1528.03122MaRDI QIDQ6060673

Jakob Rehof, Andrej Dudenhefner

Publication date: 3 November 2023

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

zbMATH Keywords

\(\lambda\)-calculustype theorycombinatory logicinhabitationprincipal typesimple types

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Combinatory logic and lambda calculus (03B40)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Lectures on the Curry-Howard isomorphism
• Intuitionistic propositional logic is polynomial-space complete
• Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi
• Many-one degrees associated with partial propositional calculi
• A detailed argument for the Post-Linial theorems
• On Long Normal Inhabitants of a Type
• Undecidability of the problem of recognizing axiomatizations for propositional calculi with implication
• Undecidable problems for propositional calculi with implication
• Bounded Combinatory Logic
• Synthesis of Functional Programs with Help of First-Order Intuitionistic Logic
• A variant of a recursively unsolvable problem

This page was built for publication: