Acta Structuralica

international journal for structuralist research

Journal | Authors

125753

Ugo Dal Lago

Proofs as efficient programs

2008

Ugo Dal Lago Simone Martini

in: Deduction, computation, experiment, Dordrecht : Springer

Open Access Link