Cargando…
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autores principales: | , , |
| Autor Corporativo: | |
| 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: | |
| Acceso en línea: | Texto Completo |