Skip to content

On the Relations between the Syntactic Theories of lambda-mu-Calculi.

Alexis Saurin

VenueBCSL
Year2008
ProceedingsCSL

Browse the full CSL paper archive.