Lectures on the Curry-Howard isomorphism /

Na minha lista:
Detalhes bibliográficos
Principais autores: Sørensen, Morten Heine, Urzyczyn, Pawel.
Formato: Livro
Publicado em:
Assuntos:
Lógica simbólica e matemática.
Isomorfismos (Matemática).
Endereço do item:https://app.bczm.ufrn.br/home/#/item/101756
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
id oai:localhost:123456789-71977
record_format dspace
spelling oai:localhost:123456789-719772022-11-30T07:17:26Z Lectures on the Curry-Howard isomorphism / Sørensen, Morten Heine Urzyczyn, Pawel. Lógica simbólica e matemática. Isomorfismos (Matemática). 4 2022-10-05T17:30:21Z 2022-10-05T17:30:21Z 2006. Livro 510.6 S713l 1.ed. 0444520775 (enc.). 101756 https://app.bczm.ufrn.br/home/#/item/101756 https://app.bczm.ufrn.br/home/#/item/101756
institution Acervo SISBI
collection SIGAA
topic Lógica simbólica e matemática.
Isomorfismos (Matemática).
spellingShingle Lógica simbólica e matemática.
Isomorfismos (Matemática).
Sørensen, Morten Heine
Urzyczyn, Pawel.
Lectures on the Curry-Howard isomorphism /
description
format Livro
author Sørensen, Morten Heine
Urzyczyn, Pawel.
author_facet Sørensen, Morten Heine
Urzyczyn, Pawel.
author_sort Sørensen, Morten Heine
title Lectures on the Curry-Howard isomorphism /
title_short Lectures on the Curry-Howard isomorphism /
title_full Lectures on the Curry-Howard isomorphism /
title_fullStr Lectures on the Curry-Howard isomorphism /
title_full_unstemmed Lectures on the Curry-Howard isomorphism /
title_sort lectures on the curry-howard isomorphism /
publishDate 2022
url https://app.bczm.ufrn.br/home/#/item/101756
work_keys_str_mv AT sørensenmortenheine lecturesonthecurryhowardisomorphism
AT urzyczynpawel lecturesonthecurryhowardisomorphism
_version_ 1766860655356280832

Registros relacionados