Skip to content

Computation-by-Interaction with Effects.

Ulrich Schpp

VenueBAPLAS
Year2011
ProceedingsAPLAS

Browse the full APLAS paper archive.