Types for Proofs and Programs

Types for Proofs and Programs

By
Tobias Nipkow
Tobias Nipkow
1994 • 404 pages
Types for Proofs and Programs

Types for Proofs and Programs

Type: Physical Book

Pages: 404

Release Date: 1994-05-20

ISBN 10: 3540580859

ISBN 13: 9783540580850