RPO, Second-order Contexts, and Lambda-calculus

DOI10.2168/LMCS-5(3:6)2009zbMATH Open1168.68031MaRDI QIDQ3395101FDOQ3395101

Pietro Di Gianantonio, Marina Lenisa, Furio Honsell

Publication date: 20 August 2009

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Recommendations

• RPO, Second-Order Contexts, and λ-Calculus
• Efficient Bisimilarities from Second-Order Reaction Semantics for π-Calculus
• scientific article; zbMATH DE number 1330448
• On the observational theory of the CPS-calculus (extended abstract)
• Deriving bisimulation congruences: a 2-categorical approach

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)

Cited In (4)

• Effectful applicative similarity for call-by-name lambda calculi
• RPO, Second-Order Contexts, and λ-Calculus
• Semantics of the second order lambda calculus
• The semantics of second-order lambda calculus

This page was built for publication: RPO, Second-order Contexts, and Lambda-calculus

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