Publication:4937118
From MaRDI portal
zbMath0939.68569MaRDI QIDQ4937118
David N. Turner, Benjamin C. Pierce, Didier Rémy
Publication date: 3 February 2000
68N15: Theory of programming languages
03B70: Logic in computer science
03B40: Combinatory logic and lambda calculus
Related Items
Counting the Cost in the Picalculus (Extended Abstract), Constraints as processes, Fundamentals of session types, A formal semantics for the Taverna 2 workflow model, Some congruence properties for \(\pi\)-calculus bisimilarities
Uses Software