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.

Detalles Bibliográficos
Autores principales: Poernomo, Iman Hafiz, Wirsing, Martin, Crossley, John Newsome
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