Happening @ Michigan

Happening@Michigan

The University of Michigan Events Calendar

Sponsors

No results

Keywords

No results

Types

No results

Search Results

Events

No results
Search events using: keywords, sponsors, locations or event type

Logic Seminar - Department of Mathematics

Filters

Event Types

Keywords

  • Mathematics(4)

Location

  • East Hall(4)

Show

RSS Feed iCal Feed JSON Feed CSV Spreadsheet Embed

Type theory seminar: Natural numbers

Duarte Maia

This is a learning seminar on dependent type theory, following Egbert Rijke's book "Introduction to Homotopy Type Theory."...

Type theory seminar: Inductive types

This is a learning seminar on dependent type theory, following Egbert Rijke's book "Introduction to Homotopy Type Theory."...

Logic seminar: Mauro di Nasso

TBA

Type theory seminar: Identity types

Kevin Ge

This is a learning seminar on dependent type theory, following Egbert Rijke's book "Introduction to Homotopy Type Theory."...

About Help Terms of Use Event Feeds Import Events Ask About the Calendar

Contact Us