Skip to content

A Computational Interpretation of the lambda-µ-Calculus.

Gavin M. Bierman

VenueBMFCS
Year1998
ProceedingsMFCS

Browse the full MFCS paper archive.