Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers (2007) (Lecture Notes in Computer Science #4502)
By: and
Sign Up Now!
Already a Member? Log In
You must be logged into UK education collection to access this title.
Learn about membership options,
or view our freely available titles.
- Synopsis
- The refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The 17 papers address all current issues in formal reasoning and computer programming based on type theory, including languages and computerized tools for reasoning; applications in several domains, such as analysis of programming languages; certified software; formalization of mathematics; and mathematics education.
- Copyright:
- 2007
Book Details
- Book Quality:
- Publisher Quality
- ISBN-13:
- 9783540744641
- Related ISBNs:
- 9783540744634
- Publisher:
- Springer Berlin Heidelberg
- Date of Addition:
- 08/24/22
- Copyrighted By:
- N/A
- Adult content:
- No
- Language:
- English
- Has Image Descriptions:
- No
- Categories:
- Nonfiction, Computers and Internet, Mathematics and Statistics, Philosophy
- Submitted By:
- Bookshare Staff
- Usage Restrictions:
- This is a copyrighted book.
- Edited by:
- Thorsten Altenkirch
- Edited by:
- Conor McBride
Reviews
Other Books
- by Thorsten Altenkirch
- by Conor McBride
- in Nonfiction
- in Computers and Internet
- in Mathematics and Statistics
- in Philosophy