logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers (Lecture Notes in Computer Science) - Peter Dybjer, Bengt Nordstrxf6m, Jan Smith
Add cover
Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers (Lecture Notes in Computer Science)
by: (author) (author) (author)
Format: kindle
ASIN: B000PY46X8
Publisher: Springer
Pages no: 210
Edition language: English
Bookstores:
Books by Jan Smith
Killer by Nature - Jan Smith, Thomas Turgoose, Will Mellor, Robert James-Collier, Angela Griffin, Katherine Kelly
Itsy Bitsy Spider And Other Favorites With Plush Spider & Cd - Jan Smith
The Apple Picking Party - Sue Graves, Jan Smith
Fourth and goal: The Jan Smith story - Jan Smith
Time (Fun To Learn) - Nina Filipek, Jan ... Time (Fun To Learn) - Nina Filipek, Jan Smith
Getting to Grips with Grammar: A First Guide to Wacky Words-And How to Use Them - Martin H. Manser, Alice Grandison, Joanna Callihan, Jan Smith, Fiona Grant
Early Civilizations - Gerry Bailey, Jan Smith, Steve Boulter
Busy Books Firehouse - Gaby Goldsack, Ja... Busy Books Firehouse - Gaby Goldsack, Jan Smith
Fun With Phonics: Bug in a Rug - Sue Graves, Jan Smith
Candle Activity Fun 1 - Juliet David, Ja... Candle Activity Fun 1 - Juliet David, Jan Smith
Books by Peter Dybjer
Types for Proofs and Programs: Internati... Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers (Lecture Notes in Computer Science) - Peter Dybjer, Bengt Nordstrxf6m, Jan Smith
Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings - David H. Pitt, David E. Rydeheard, Andrew M. Pitts, Peter Dybjer, Axel Poigne
Books by Bengt Nordstrxf6m
Types for Proofs and Programs: Internati... Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers (Lecture Notes in Computer Science) - Peter Dybjer, Bengt Nordstrxf6m, Jan Smith
Share this Book
Copyright © 2024 BookLikes Press About Terms of Services Privacy Policy Contact Us Blog FAQ Patronaty medialne BookLikes for Authors Partners panel Team Themes Docs API Blogs
Need help?
Important: Our sites use cookies. We use the information stored using cookies and similar technologies for advertising and statistics purposes. Stored data allow us to tailor the websites to individual user's interests. Cookies may be also used by third parties cooperating with BookLikes, like advertisers, research companies and providers of multimedia applications. You can choose how cookies are handled by your device via your browser settings. If you choose not to receive cookies at any time, BookLikes will not function properly and certain services will not be provided. For more information, please go to our Privacy Policy.