Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers (2006) (Lecture Notes in Computer Science #3839)

By: and 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 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on type theory are addressed; in particular languages and computerised tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalisation of mathematics and mathematics education.
Copyright:
2006

Book Details

Book Quality:
Publisher Quality
ISBN-13:
9783540314295
Related ISBNs:
9783540314288
Publisher:
Springer Berlin Heidelberg
Date of Addition:
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:
Jean-Christophe Filliatre
Edited by:
Christine Paulin-Mohring
Edited by:
Benjamin Werner

Reviews

No Rating Yet