- Abstract:
-
In the most general sense, dependent types are type-valued functions. In this chapter we study type-valued functions which send terms to types.
- Links To Paper
- Editor's homepage for book.
- Bibtex format
- @InBook{EDI-INF-RR-0585,
- author = {
David Aspinall
and Martin Hoffman
},
- title = {Dependent Types},
- book title = {Advanced Topics in Types and Programming Languages},
- publisher = {MIT Press},
- year = 2005,
- month = {Jan},
- pages = {45-86},
- url = {http://www.cis.upenn.edu/~bcpierce/attapl/},
- }
|