Deutsche Gesellschaftfür phänomenologische Forschung
Zeitschrift | Autoren
in English (2000-2009)
Proofs as efficient programs
2008
Ugo Dal Lago Simone Martini
in: Deduction, computation, experiment, Dordrecht : Springer
