Proofs and Types (Cambridge Tracts in Theoretical Computer Science)

by: Jean-Yves Girard · Yves Lafont · Paul Taylor

Hardcover

details (United Kingdom).

ISBN: 978-0-521-37181-0

ISBN-10: 0-521-37181-3

Cambridge University Press · 1989