Skip to content

Higher-Order Action Calculi.

Robin Milner

VenueBCSL
Year1993
ProceedingsCSL

Browse the full CSL paper archive.