Cargando…
Adapting proofs-as-programs: the Curry-Howard protocol
Details developments in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic with applications to industrial-scale, complex software engineering problems.
Autores principales: | , , |
---|---|
Lenguaje: | eng |
Publicado: |
Springer
2007
|
Materias: | |
Acceso en línea: | http://cds.cern.ch/record/1621176 |
_version_ | 1780933180261400576 |
---|---|
author | Poernomo, Iman Hafiz Wirsing, Martin Crossley, John Newsome |
author_facet | Poernomo, Iman Hafiz Wirsing, Martin Crossley, John Newsome |
author_sort | Poernomo, Iman Hafiz |
collection | CERN |
description | Details developments in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic with applications to industrial-scale, complex software engineering problems. |
id | cern-1621176 |
institution | Organización Europea para la Investigación Nuclear |
language | eng |
publishDate | 2007 |
publisher | Springer |
record_format | invenio |
spelling | cern-16211762021-04-21T21:51:31Zhttp://cds.cern.ch/record/1621176engPoernomo, Iman HafizWirsing, MartinCrossley, John NewsomeAdapting proofs-as-programs: the Curry-Howard protocolMathematical Physics and Mathematics Details developments in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic with applications to industrial-scale, complex software engineering problems.Springeroai:cds.cern.ch:16211762007 |
spellingShingle | Mathematical Physics and Mathematics Poernomo, Iman Hafiz Wirsing, Martin Crossley, John Newsome Adapting proofs-as-programs: the Curry-Howard protocol |
title | Adapting proofs-as-programs: the Curry-Howard protocol |
title_full | Adapting proofs-as-programs: the Curry-Howard protocol |
title_fullStr | Adapting proofs-as-programs: the Curry-Howard protocol |
title_full_unstemmed | Adapting proofs-as-programs: the Curry-Howard protocol |
title_short | Adapting proofs-as-programs: the Curry-Howard protocol |
title_sort | adapting proofs-as-programs: the curry-howard protocol |
topic | Mathematical Physics and Mathematics |
url | http://cds.cern.ch/record/1621176 |
work_keys_str_mv | AT poernomoimanhafiz adaptingproofsasprogramsthecurryhowardprotocol AT wirsingmartin adaptingproofsasprogramsthecurryhowardprotocol AT crossleyjohnnewsome adaptingproofsasprogramsthecurryhowardprotocol |