Publication:4937118
From MaRDI portal
zbMath0939.68569MaRDI QIDQ4937118
Didier Rémy, Benjamin C. Pierce, David N. Turner
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), Fundamentals of session types, A formal semantics for the Taverna 2 workflow model, Some congruence properties for \(\pi\)-calculus bisimilarities
Uses Software