Programs from Proofs - A PCC Alternative.

Daniel Wonisch, Alexander Schremmer, Heike Wehrheim

Browse the full CAV paper archive.