Skip to content

Realisability and Adequacy for (Co)induction.

Ulrich Berger

VenueCCCA
Year2009
ProceedingsCCA

Browse the full CCA paper archive.