The λ-calculus in the π-calculus

DOI10.1017/S0960129511000260zbMath1223.68073MaRDI QIDQ3094164

Yuxi Fu, Xiaojuan Cai

Publication date: 21 October 2011

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

\(\pi\)-calculusencoding of \(\lambda\)-calculus in \(\pi\)-calculus

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Combinatory logic and lambda calculus (03B40)

Related Items (4)

Theory of interaction ⋮ HYPERCOMPUTATION: FANTASY OR REALITY? A POSITION PAPER ⋮ On the expressiveness of interaction ⋮ Non-deterministic structures of computation

Cites Work

• \(\pi\)-calculus, internal mobility, and agent-passing calculi
• The lambda calculus. Its syntax and semantics. Rev. ed.
• On the expressiveness of interaction
• A calculus of mobile processes. I
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• A calculus for cryptographic protocols: The spi calculus
• Plain CHOCS. A second generation calculus for higher order processes
• The lazy lambda calculus in a concurrency scenario
• A theory of higher order communicating systems
• Decoding choice encodings
• Objects in the \(\pi\)-calculus
• Algebraic theories for name-passing calculi
• Variations on mobile processes
• Functions as processes
• A proof theoretical approach to communication
• On asynchrony in name-passing calculi

This page was built for publication: The λ-calculus in the π-calculus