Subscriber Authentication Point

EDPS Account

Article citations

Download citation

Probabilistic operational semantics for the lambda calculus

Ugo Dal Lago and Margherita Zorzi

RAIRO-Theor. Inf. Appl., 46 3 (2012) 413-450

DOI: https://doi.org/10.1051/ita/2012012

Back to the article