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.
Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers (Lecture Notes in Computer Science, 3839)
📄 Viewing lite version
Full site ›
Book Details
Author(s)Springer
PublisherSpringer
ISBN / ASIN3540314288
ISBN-139783540314288
AvailabilityIn Stock
CategoryPaperback
MarketplaceUnited States 🇺🇸
Description ▲
More Books in Paperback
Nightmare Hour TV Tie-in Edition
View
First Light
View
The Miles Between
View
Prize Stories 1990: The O. Henry Awards (Pen / O. Henr…
View
Democracy Begins Between Two
View
The Model Locomotive Engineer, Fireman, and Engine Boy
View
Bloodline in the Sand
View
Making America, Volume A, Brief, 2nd Ed + Perfect Unio…
View
Ellis, Becoming a Master Student, 11th Edition Plus My…
View