Proofs and types

Proofs and types

ByJean-Yves Girard,Yves LaFont,+1 more
1989 • 192 pages
1
Proofs and types

Proofs and types

Type: Physical Book

Pages: 192

Release Date: 1989-04-28

ISBN 10: 0521371813

ISBN 13: 9780521371810

Readers: 1

Data Score: 920