Skip to main content

Dragging Proofs Out of Pictures

Ralf Hinze and Dan Marsden

Address
Cham
Book Title
A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
Editor
Lindley‚ Sam and McBride‚ Conor and Trinder‚ Phil and Sannella‚ Don
ISBN
978−3−319−30936−1
Pages
152–168
Publisher
Springer International Publishing
Year
2016