Models of Polymorphism

Add to your list(s) Download to your calendar using vCal

• Sean Moss (DPMMS)
• Thursday 23 April 2015, 14:00-15:00
• CMS, MR13.

If you have a question about this talk, please contact Sean Moss.

System F, or the second-order typed λ-calculus, is a version of type theory with polymorphic types. For example, there is a polymorphic type of lists in X, where X varies over all types. A fibration captures the notion of a category whose objects are families indexed by the objects of another and thus lends itself to a semantics for System F. In fact, there is a complete class of fibrational models for System F which arise from toposes considered as intuitionistic universes of sets.

This talk is part of the Junior Category Theory Seminar series.

This talk is included in these lists:

• All CMS events
• All Talks (aka the CURE list)
• CMS Events
• CMS, MR13
• DPMMS Lists
• DPMMS Pure Maths Seminar
• DPMMS info aggregator
• DPMMS lists
• Hanchen DaDaDash
• Interested Talks
• Junior Category Theory Seminar
• School of Physical Sciences
• bld31
• ndb35's list
• yk373's list

Note that ex-directory lists are not shown.