Lectures on the Curry-Howard isomorphism /
Na minha lista:
Principais autores: | Sørensen, Morten Heine, Urzyczyn, Pawel. |
---|---|
Formato: | Livro |
Publicado em: |
|
Assuntos: | |
Endereço do item: | https://app.bczm.ufrn.br/home/#/item/101756 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Derivation and computation : taking the Curry-Howard correspondence seriously /
por: Simmons, Harold
Publicado em: (2022) -
O método dos isomorfismos parciais : um estudo da expressabilidade matemática /
por: Cifuentes, José Carlos., et al.
Publicado em: (2022) -
Adapting proofs-as-programs : the Curry-Howard protocol /
por: Poernomo, Iman Hafiz,, et al.
Publicado em: (2022) -
The structure of models of Peano arithmetic /
por: Kossak, Roman,, et al.
Publicado em: (2022) -
Lectures on mathematical logic /
por: Felscher, Walter
Publicado em: (2022)