Derivation and computation : taking the Curry-Howard correspondence seriously /

Na minha lista:
Detalhes bibliográficos
Autor principal: Simmons, Harold
Formato: Livro
Publicado em:
Assuntos:
Teoria das demonstrações.
Lógica simbólica e matemática.
Cálculo Lambda.
cálculo lambda.
Endereço do item:https://app.bczm.ufrn.br/home/#/item/162827
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
id oai:localhost:123456789-104438
record_format dspace
spelling oai:localhost:123456789-1044382022-11-30T17:06:39Z Derivation and computation : taking the Curry-Howard correspondence seriously / Simmons, Harold Teoria das demonstrações. Lógica simbólica e matemática. Cálculo Lambda. cálculo lambda. 1 2022-10-06T01:02:04Z 2022-10-06T01:02:04Z 2000. Livro 510.6 S592d 0521771730(enc.). 162827 https://app.bczm.ufrn.br/home/#/item/162827 https://app.bczm.ufrn.br/home/#/item/162827
institution Acervo SISBI
collection SIGAA
topic Teoria das demonstrações.
Lógica simbólica e matemática.
Cálculo Lambda.
cálculo lambda.
spellingShingle Teoria das demonstrações.
Lógica simbólica e matemática.
Cálculo Lambda.
cálculo lambda.
Simmons, Harold
Derivation and computation : taking the Curry-Howard correspondence seriously /
description
format Livro
author Simmons, Harold
author_facet Simmons, Harold
author_sort Simmons, Harold
title Derivation and computation : taking the Curry-Howard correspondence seriously /
title_short Derivation and computation : taking the Curry-Howard correspondence seriously /
title_full Derivation and computation : taking the Curry-Howard correspondence seriously /
title_fullStr Derivation and computation : taking the Curry-Howard correspondence seriously /
title_full_unstemmed Derivation and computation : taking the Curry-Howard correspondence seriously /
title_sort derivation and computation : taking the curry-howard correspondence seriously /
publishDate 2022
url https://app.bczm.ufrn.br/home/#/item/162827
work_keys_str_mv AT simmonsharold derivationandcomputationtakingthecurryhowardcorrespondenceseriously
_version_ 1766812356522803200

Registros relacionados