Adapting Proofs-as-Programs The Curry--Howard Protocol /

This book ?nds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing programs from proofs in constructive logic. It has been over thirty years since the paradigm was ?rst conceived. At that time, there was a belief that proofs-as-programs ha...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Poernomo, Iman (Autor), Crossley, John N. (Autor), Wirsing, Martin (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: New York, NY : Springer New York : Imprint: Springer, 2005.
Edición:1st ed. 2005.
Colección:Monographs in Computer Science,
Temas:
Computer science.
Mathematical logic.
Logic design.
Computer programming.
Software engineering.
Computer Science Logic and Foundations of Programming.
Mathematical Logic and Foundations.
Logic Design.
Programming Techniques.
Software Engineering.
Models of Computation.
Acceso en línea:Texto Completo

Internet

Texto Completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares