Adapting proofs-as-programs : the Curry-Howard protocol /

Na minha lista:
Detalhes bibliográficos
Principais autores: Poernomo, Iman Hafiz, Crossley, John N., Wirsing, M.
Formato: Livro
Publicado em:
Assuntos:
Isoformismo (Matemática).
Teoria das provas.
Lógica simbólica e matemática.
Programação funcional (Computação).
Cálculo lambda.
Tipos abstratos de dados (Computação).
Endereço do item:https://app.bczm.ufrn.br/home/#/item/102037
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
id oai:localhost:123456789-72185
record_format dspace
spelling oai:localhost:123456789-721852022-11-30T07:21:40Z Adapting proofs-as-programs : the Curry-Howard protocol / Poernomo, Iman Hafiz, Crossley, John N. Wirsing, M. Isoformismo (Matemática). Teoria das provas. Lógica simbólica e matemática. Programação funcional (Computação). Cálculo lambda. Tipos abstratos de dados (Computação). 2 2022-10-05T17:33:16Z 2022-10-05T17:33:16Z c2005. Livro 510.6 P745a 0387237593 (enc.) 102037 https://app.bczm.ufrn.br/home/#/item/102037 https://app.bczm.ufrn.br/home/#/item/102037
institution Acervo SISBI
collection SIGAA
topic Isoformismo (Matemática).
Teoria das provas.
Lógica simbólica e matemática.
Programação funcional (Computação).
Cálculo lambda.
Tipos abstratos de dados (Computação).
spellingShingle Isoformismo (Matemática).
Teoria das provas.
Lógica simbólica e matemática.
Programação funcional (Computação).
Cálculo lambda.
Tipos abstratos de dados (Computação).
Poernomo, Iman Hafiz,
Crossley, John N.
Wirsing, M.
Adapting proofs-as-programs : the Curry-Howard protocol /
description
format Livro
author Poernomo, Iman Hafiz,
Crossley, John N.
Wirsing, M.
author_facet Poernomo, Iman Hafiz,
Crossley, John N.
Wirsing, M.
author_sort Poernomo, Iman Hafiz,
title Adapting proofs-as-programs : the Curry-Howard protocol /
title_short 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_sort adapting proofs-as-programs : the curry-howard protocol /
publishDate 2022
url https://app.bczm.ufrn.br/home/#/item/102037
work_keys_str_mv AT poernomoimanhafiz adaptingproofsasprogramsthecurryhowardprotocol
AT crossleyjohnn adaptingproofsasprogramsthecurryhowardprotocol
AT wirsingm adaptingproofsasprogramsthecurryhowardprotocol
_version_ 1766802964780941312

Registros relacionados