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
When / Where
All occurrences of this event have passed.
This listing is displayed for historical purposes.
Free Workshop / Seminar

Presented By: Logic Seminar - Department of Mathematics

Ask a Question About This Event

Type theory seminar: Introduction to Lambda Calculus

Colin Feeney

This is a learning seminar on dependent type theory. We are currently following Peter Selinger's lecture notes on the lambda calculus (available online here: https://www.mathstat.dal.ca/~selinger/papers/lambdanotes.pdf). This talk will cover chapter 2 of Selinger's notes, on the untyped lambda calculus.

Related Links

Co-Sponsored By

Explore Similar Events

  •  Loading Similar Events...

Keywords


Back to Main Content
About Help Terms of Use Event Feeds Import Events Ask About the Calendar

Contact Us