RPO, Second-order Contexts, and Lambda-calculus

DOI10.2168/LMCS-5(3:6)2009MaRDI QIDQ3395101zbMATH OpenFDO

Authors Pietro Di Gianantonio, Furio Honsell, Marina Lenisa

Publication date 20 August 2009

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

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)

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

Cited in

(4)

• Semantics of the second order lambda calculus
• RPO, Second-Order Contexts, and λ-Calculus
• Effectful applicative similarity for call-by-name lambda calculi
• 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)