Towards a Coalgebraic Semantics of the Ambient Calculus.

Daniel Hausmann, Till Mossakowski, Lutz Schrder

Browse the full CALCO paper archive.