Repository | People

125753

References

Ugo Dal Lago

Proofs as efficient programs

2008

with Martini Simone

in: Deduction, computation, experiment, Dordrecht : Springer

Open Access Link