Skip to content

Inductive and Functional Types in Ludics.

Alice Pavaux

VenueBCSL
Year2017
ProceedingsCSL

Browse the full CSL paper archive.