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(2)

Location

  • East Hall(2)

Show

RSS Feed iCal Feed JSON Feed CSV Spreadsheet Embed

Type theory seminar: Simply typed lambda calculus and normalization

Gavin Bell

This is a learning seminar on dependent type theory. We are currently following Peter Selinger's lecture notes on the lambda calculus...

Type theory seminar: Type inference

Ethan Parker

This is a learning seminar on dependent type theory. We are currently following Peter Selinger's lecture notes on the lambda calculus...

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

Contact Us