Derivation and Computation: Taking the Curry-Howard Correspondence Seriously (Cambridge Tracts in Theoretical Computer Science)

by H. Simmons Hardcover details (UK). ISBN: 978-0-521-77173-3 ISBN-10: 0-521-77173-0 Cambridge University Press · 2000