Pratica : proofs, types and categories /
Autor principal: | Hermann Haeusler, Edward (Editor ) |
---|---|
Otros Autores: | Pereira, Luiz Carlos (Editor , Editor/a) |
Formato: | Libro |
Lenguaje: | English |
Publicado: |
Rio de Janeiro :
Pontificia Universidade Catolica do Rio de Janeiro,
1999.
|
Materias: |
Ejemplares similares
-
Modèles en Arithmétique Bornée /
por: Chinchilla, Eugenio, et al.
Publicado: (2001) -
Toposes, algebraic geometry and logic /
por: Lawvere, F. W., et al.
Publicado: (1964) -
Exact categories and categories of sheaves /
por: Barr, Michael 1937-, et al.
Publicado: (1964) -
Foundations of constructive mathematics : metamathematical studies /
por: Beeson, Michael J., et al.
Publicado: (1985) -
Formal category theory : adjointness for 2-categories
por: Gray, John Walker 1931-, et al.
Publicado: (1964)