Repository | People

125754

References

Simone Martini

Proofs as efficient programs

2008

with Dal Lago Ugo

in: Deduction, computation, experiment, Dordrecht : Springer

Open Access Link