Adapting proofs-as-programs : the Curry-Howard protocol /
Na minha lista:
Principais autores: | Poernomo, Iman Hafiz, Crossley, John N., Wirsing, M. |
---|---|
Formato: | Livro |
Publicado em: |
|
Assuntos: | |
Endereço do item: | https://app.bczm.ufrn.br/home/#/item/102037 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
An introduction to lambda calculi for computer scientists /
por: Hankin, Chris,
Publicado em: (2022)
por: Hankin, Chris,
Publicado em: (2022)
Registros relacionados
-
Derivation and computation : taking the Curry-Howard correspondence seriously /
por: Simmons, Harold
Publicado em: (2022) -
Lectures on the Curry-Howard isomorphism /
por: Sørensen, Morten Heine, et al.
Publicado em: (2022) -
Data structures, algorithms, and performance /
por: Wood, Derick,
Publicado em: (2022) -
The lambda calculus : its syntax and semantics /
por: Barendregt, H. P.
Publicado em: (2022) -
Lambda-calculus and combinators : an introduction /
por: Hindley, J. Roger., et al.
Publicado em: (2022)