Central and East European
Society for Phenomenology

Repository | Directory | Profile

125753

Ugo Dal Lago

Proofs as efficient programs

2008

Ugo Dal Lago Simone Martini

in: Deduction, computation, experiment, Dordrecht : Springer

Open Access Link