Nominal sets : names and symmetry in computer science /
Na minha lista:
Autor principal: | Pitts, A. M. |
---|---|
Formato: | Livro |
Publicado em: |
|
Assuntos: | |
Endereço do item: | https://app.bczm.ufrn.br/home/#/item/215727 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Concepts, techniques, and models of computer programming /
por: Van-Roy, Peter., et al.
Publicado em: (2022) -
Conference record : ACM SIGPLAN ASIA-PEPM 2002 : the Asian Symposium on Partial Evaluation and Semantics-Based Program Manipulation : papers presented at the symposium, Aizu, Japan, September 12-14, 2002 /
por: Asian Symposium on Partial Evaluation and Semantics-Based Program Manipulation (2002 : Aizu, Japan)., et al.
Publicado em: (2022) -
Programming languages and operational semantics : an introduction /
por: Fernández, Maribel.
Publicado em: (2022) -
Foundations of computational linguistics: human-computer communication in natural language /
por: Hausser, Roland R.,
Publicado em: (2022) -
Semantics and logics of computation /
por: Pitts, A. M., et al.
Publicado em: (2022)