Types for Proofs and Programs October 1999 General Theory of Computing; Programming languages; Logic; Computer programming; General; Logic Des… ISBN 3540665374 View on Amazon Lists featuring this book (1)
