Category Theory and Computer Science
Peter Dybjer, Andrew M. Pitts, David H. Pitt, Axel Poigne, David E. Rydeheard
₹3,733
Types for Proofs and Programs
International Workshop TYPES '94
by Peter Dybjer, Bengt Nordström, Jan Smith
Springer · 1995
₹5,483
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Types for Proofs and Programs: International Workshop TYPES '94 by Peter Dybjer, Bengt Nordström & others is a 202-page book published by Springer in 1995. The book is part of the Lecture notes in computer science series.
Its main subjects are Congresses, Automatic theorem proving and Mathematical symbols (typefaces).
Book details
- ISBN-13
- 9783540605799
- ISBN-10
- 3540605797
- Authors
- Peter Dybjer, Bengt Nordström, Jan Smith
- Publisher
- Springer
- Published
- 1995
- Series
- Lecture notes in computer science
- Pages
- 202
- Language
- English
- Condition
- New
More by Peter Dybjer and related titles
Cellular Fatty Acid-binding Proteins
Jan F. C. Glatz, Ger J. van der Vusse
₹21,731
Utility Communication Networks and Services Specification Deployment and Operation (hb 2017)
Carlos Samitier
₹7,319
Wissenschaftliche Veröffentlichungen Aus Den Siemens-Werken
Fritz Bath, Rudolf Bingel, Elisabeth Brandenburger
₹3,623
Food and Agricultural Byproducts as Important Source of Valuable Nutraceuticals
Chukwuebuka Egbuna, Barbara Sawicka, Johra Khan
₹2,924
Cognition and Fact
Robert S. Cohen
₹15,359
Das Kristallzeichnen Auf Grundlage Der Stereographischen Projektion
H. Tertsch
₹5,456
Strict Finitism and the Logic of Mathematical Applications
Feng Ye
₹7,773
On Beheading
Amalendu Misra
₹3,290
Information Science & Technology in China
Guojie Li
₹5,576
Reef Fisheries
Nicholas V. C. Polunin
₹7,755
Algebraic K Theory of Crystallographic Groups (pb 2014)
FARLEY
₹3,300