There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 10

Record: found
Abstract: not found
Book Chapter: not found

Constructive Mathematics and Computer Programming

Per Martin-Löf (1982)

0 comments Cited 32 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

Generalised algebraic theories and contextual categories

John Cartmell (1986)

0 comments Cited 28 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Locally cartesian closed categories and type theory

R. A. G. Seely (1984)

0 comments Cited 26 times – based on 0 reviews      Review now

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 1996

Publication date (Online): June 7 2005

Pages: 120-134

DOI: 10.1007/3-540-61780-9_66

SO-VID: db016870-579a-4fb6-9f78-531eab1fd959

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 24

See all cited by

Internal type theory

Read this book at

Related collections

Numerical Algebra, Matrix Theory, Differential-Algebraic Equations, and Control Theory

Most cited references 10

Constructive Mathematics and Computer Programming

Generalised algebraic theories and contextual categories

Locally cartesian closed categories and type theory

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 2,897

Cited by 24