Dragging Proofs Out of Pictures
R. Hinze and D. 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‚ S. and McBride‚ C. and Trinder‚ P. and Sannella‚ D.
ISBN
978−3−319−30936−1
Pages
152–168
Publisher
Springer International Publishing
Year
2016