logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers (Lecture Notes in Computer Science) - Henk Barendregt, Tobias Nipkow
Add cover
Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers (Lecture Notes in Computer Science)
by: (author) (author)
Format: kindle
ASIN: B0014C5MP6
Publisher: Springer
Pages no: 392
Edition language: English
Bookstores:
Books by Tobias Nipkow
Rewriting Techniques and Applications: 9th International Conference, Rta-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings - Tobias Nipkow
Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers (Lecture Notes in Computer Science) - Jan Heering, Karl Meinke, Bernhard Mxf6ller, Tobias Nipkow
Term Rewriting and All That - Tobias Nipkow
Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings - Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel
Concrete Semantics: With Isabelle/HOL - Tobias Nipkow, Gerwin Klein
Formal Logical Methods for System Security and Correctness (Nato Science for Peace and Security) (Nato Science for Peace and Security) - Orna Grumberg, Tobias Nipkow, Christian Pfaller
Types for Proofs and Programs: Internati... Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers (Lecture Notes in Computer Science) - Henk Barendregt, Tobias Nipkow
Books by Henk Barendregt
Lambda Calculus with Types (Perspectives in Logic) - Henk Barendregt, Wil Dekkers, Richard Statman
The Lambda Calculus: Its Syntax and Semantics - Henk Barendregt
Types for Proofs and Programs: Internati... Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers (Lecture Notes in Computer Science) - Henk Barendregt, Tobias Nipkow
Share this Book
Copyright © 2025 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.