The discriminating power of multiplicities in the -calculus

DOI10.1006/INCO.1996.0037MaRDI QIDQ1917097zbMATH OpenOpenAlexFDO

Authors Cosimo Laneve, Gérard Boudol

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

zbMATH Keywords

\(\lambda\)-calculus

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1231449
• Discrimination by parallel observers: the algorithm.
• The lazy lambda calculus in a concurrency scenario
• Infinitary lambda calculus and discrimination of Berarducci trees.

Cited in

(11)

• Multisets and structural congruence of the pi-calculus with replication
• The lazy lambda calculus in a concurrency scenario
• Discrimination by parallel observers: the algorithm.
• Infinitary lambda calculus and discrimination of Berarducci trees.
• A note on discriminability of lambda terms
• Böhm's theorem for resource lambda calculus through Taylor expansion
• scientific article; zbMATH DE number 1231449 (Why is no real title available?)
• From Böhm's theorem to observational equivalences: an informal account
• scientific article; zbMATH DE number 7453965 (Why is no real title available?)
• Intersection types for -trees
• Algebraic interpretation of lambda calculus with resources

This page was built for publication: The discriminating power of multiplicities in the \(\lambda\)-calculus

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