References
Simone Martini
(2000-2009)
Xwith Dal Lago, U. (2008)., Proofs as efficient programs, in R. Lupacchini & G. Corsi (eds.), Deduction, computation, experiment, Dordrecht, Springer, pp. 141-157.
(2000-2009)
Xwith Dal Lago, U. (2008)., Proofs as efficient programs, in R. Lupacchini & G. Corsi (eds.), Deduction, computation, experiment, Dordrecht, Springer, pp. 141-157.