Teoria dei tipi di universi categoriali
Bollettino dell'Unione Matematica Italiana (1999)
- Volume: 2-A, Issue: 1S, page 41-44
- ISSN: 0392-4041
Access Full Article
top
How to cite
topMaietti, Maria Emilia. "Teoria dei tipi di universi categoriali." Bollettino dell'Unione Matematica Italiana 2-A.1S (1999): 41-44. <http://eudml.org/doc/219502>.
@article{Maietti1999,
author = {Maietti, Maria Emilia},
journal = {Bollettino dell'Unione Matematica Italiana},
language = {ita},
month = {1},
number = {1S},
pages = {41-44},
publisher = {Unione Matematica Italiana},
title = {Teoria dei tipi di universi categoriali},
url = {http://eudml.org/doc/219502},
volume = {2-A},
year = {1999},
}
TY - JOUR
AU - Maietti, Maria Emilia
TI - Teoria dei tipi di universi categoriali
JO - Bollettino dell'Unione Matematica Italiana
DA - 1999/1//
PB - Unione Matematica Italiana
VL - 2-A
IS - 1S
SP - 41
EP - 44
LA - ita
UR - http://eudml.org/doc/219502
ER -
References
top- DIACONESCU, R., Axiom of choice and complementation., Proc. Amer. Math. Soc, 51 (1975), 176-178. Zbl0317.02077MR373893
- JOYAL, A. and MOERDIJK, I., Algebraic set theory, Cambridge University Press - Lecture Note Series, 220 (1995). Zbl0847.03025MR1368403DOI10.1017/CBO9780511752483
- LAMBEK, J. and SCOTT, P.J., An introduction to higher order categorical logic, Cambridge University Press - Studies in Advanced Mathematics, 7 (1986). Zbl0596.03002MR856915
- MAIETTI, M.E., The internal type theory of an Heyting Pretopos, Proceedings of Types '96 - LNCS, editors E. Gimenez, C. Paulin-Mohring (1997). Zbl0927.03087
- MARTIN-LÖF, P., An intuitionistic theory of types: predicative part., Logic Colloquium 1973 - H.E. Rose and J.C. Shepherdson, Amsterdam (1975), 73-118. Zbl0334.02016MR387009
- NORDSTRÖM, B., PETERSON, K. and SMITH, J., Programming in Martin Löf's Type Theory., Clarendon Press, Oxford (1990). Zbl0744.03029
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.