The discriminating power of multiplicities in the \(\lambda\)-calculus
From MaRDI portal
Publication:1917097
DOI10.1006/inco.1996.0037zbMath0853.68128MaRDI QIDQ1917097
Publication date: 12 December 1996
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/inco.1996.0037
Related Items
Unnamed Item, From Böhm's Theorem to Observational Equivalences, Intersection types for \(\lambda\)-trees, Non-Deterministic Functions as Non-Deterministic Processes (Extended Version), Algebraic interpretation of lambda calculus with resources, Discrimination by parallel observers: the algorithm., Infinitary lambda calculus and discrimination of Berarducci trees., Böhm’s Theorem for Resource Lambda Calculus through Taylor Expansion