RPO, Second-order Contexts, and Lambda-calculus

DOI10.2168/LMCS-5(3:6)2009zbMath1168.68031MaRDI QIDQ3395101

Pietro Di Gianantonio, Marina Lenisa, Furio Honsell

Publication date: 20 August 2009

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

Mathematics Subject Classification ID

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) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Effectful applicative similarity for call-by-name lambda calculi

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