Browse
FAQ

Author

James McKinna

1 book found

Cover of Types for proofs and programs

Types for proofs and programs

Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack · First published 2002