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)

Full work available at URL https://doi.org/10.2168/LMCS-5(3:6)2009

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)

• 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)