A Curry-style Semantics of Interaction: From Untyped to Second-Order Lazy λ μ-Calculus.

James Laird

Browse the full FOSSACS paper archive.