References
Cartmell, J.: Generalised algebraic theories and contextual categories,Annals of Pure & Applied Logic, 32, 1986.
Martin-Lof, P.:Intuitionistic type theory, Bibliopolis, Naples, 1984.
Streicher, T.: Dependence and independence results for impredicative theories of dependent types,J. Math. Structures in Comp. Sci., 2, 1992.
Thompson, S.:Type theory and functional programming. Addison-Wesley, 1991.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Roy, D., Moggi, E. Book reviews. Formal Aspects of Computing 5, 282–284 (1993). https://doi.org/10.1007/BF01211558
Issue Date:
DOI: https://doi.org/10.1007/BF01211558