Two-dimensional models of type theory

Details Two-dimensional models of type theory Two-dimensional models of type theory

2008-08-15

arxiv.org/abs/0808.2122v2

Mathematical Structures in Computer Science 19 (2009), no. 4, pages 687--736

Mathematics

Logic

46 pages; v2: final journal version

Scientific paper

10.1017/S0960129509007646

We describe a non-extensional variant of Martin-L\"of type theory which we
call two-dimensional type theory, and equip it with a sound and complete
semantics valued in 2-categories.

Affiliated with

Also associated with

No associations

Rating

Two-dimensional models of type theory does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Two-dimensional models of type theory, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Two-dimensional models of type theory will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-651114