[
1
]
Ugo Dal Lago and Simone Martini. Proofs as efficient programs. In Giovanna Corsi and Rossella Lupacchini, editors,
Deduction, Computation, Experiment
, pages 141-157. Springer, 2008. [
bib
]
This file was generated by
bibtex2html
1.94.