Programs from Proofs – A PCC Alternative

by Daniel Wonisch, Er Schremmer, Heike Wehrheim