Skip to content

Call-by-Value in a Basic Logic for Interaction.

Ulrich Schpp

VenueBAPLAS
Year2014
ProceedingsAPLAS

Browse the full APLAS paper archive.