Types for Proofs and Programs - E-book

eBook

Types For Proofs And Programs - ENG

International Workshop, Types 2004, Jouy-en-josas, France, December 15-18, 2004, Revised Selected Papers

JeanChristophe Filliatre; ?Christine PaulinMohring; ?Benjamin Werner

eBook

$1,100.00

Disponible

Información adicional
Sinopsis

ISBN:	9783540314295
Formato:	Page Fidelity
Idioma:	Inglés
Editorial:	Springer Nature
Tema:	Computadoras
Subtema:	Programación general
Año de publicación:	2006-01-20

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.

eBooks