The three dimensions of proofs (2006)

by Yves Guiraud
Venue:Annals of Pure and Applied Logic