Type theory and formal proof : an introduction /
"Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the...
Na minha lista:
Principais autores: | Nederpelt, R. P., Geuvers, Herman |
---|---|
Formato: | Livro |
Publicado em: |
|
Assuntos: | |
Endereço do item: | https://app.bczm.ufrn.br/home/#/item/247028 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
A modern perspective on type theory : from its origins until today /
por: Kamareddine, Fairouz D., et al.
Publicado em: (2022) -
Prática : proofs, types and categories /
por: Hauesler, Edward Hermann., et al.
Publicado em: (2022) -
Treatise on intuitionistic type theory /
por: Granström, Johan Georg.
Publicado em: (2022) -
History and philosophy of constructive type theory /
por: Sommaruga, Giovanni
Publicado em: (2022) -
Programs, machines, and computation : an introduction to the theory of computing /
por: Clark, K. L. (Keith L.), et al.
Publicado em: (2022)