Loader and Urzyczyn Are Logically Related

DOI10.1007/978-3-642-31585-5_34zbMath1367.03032OpenAlexW2160273005MaRDI QIDQ3167026

Giulio Manzonetto, Mai Gehrke, Sylvain Salvati, Hendrik Pieter Barendregt

Publication date: 1 November 2012

Published in: Automata, Languages, and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-31585-5_34

zbMATH Keywords

undecidability\(\lambda\)-calculusinhabitation\(\lambda\)-definability

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (3)

Typing Weak MSOL Properties ⋮ Unnamed Item ⋮ The IO and OI hierarchies revisited

This page was built for publication: Loader and Urzyczyn Are Logically Related