Proofs as efficient programs

2008

Ugo Dal Lago, Simone Martini

in: Deduction, computation, experiment, Berlin,