The lambda calculus : its syntax and semantics /
Na minha lista:
Autor principal: | Barendregt, H. P. |
---|---|
Formato: | Livro |
Publicado em: |
|
Assuntos: | |
Endereço do item: | https://app.bczm.ufrn.br/home/#/item/101852 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Lambda-calculus and combinators : an introduction /
por: Hindley, J. Roger., et al.
Publicado em: (2022) -
An introduction to lambda calculi for computer scientists /
por: Hankin, Chris,
Publicado em: (2022) -
Typed lambda calculi and applications /
por: Bezem, M., et al.
Publicado em: (2022) -
An introduction to functional programming through lambda calculus /
por: Michaelson, Greg.
Publicado em: (2022) -
Language in action : categories, lambdas and dynamic logic /
por: Benthem, J. F. A. K. van,
Publicado em: (2022)