On the Computability of Relations on λ-Terms and Rice’s Theorem - The Case of the Expansion Problem for Explicit Substitutions

DOI10.1007/978-3-642-54423-1_18zbMath1406.03040OpenAlexW216691121WikidataQ58001392 ScholiaQ58001392MaRDI QIDQ5405040

Mauricio Ayala-Rincón, Edward Hermann Haeusler

Publication date: 31 March 2014

Published in: LATIN 2014: Theoretical Informatics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-54423-1_18

zbMATH Keywords

\(\lambda\)-calculusRice's theoremexplicit substitutionScott's theorem

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

This page was built for publication: On the Computability of Relations on λ-Terms and Rice’s Theorem - The Case of the Expansion Problem for Explicit Substitutions