Gershom Bazerman : from scheme to dependent type theory in 100 lines

https://www.meetup.com/fr-FR/LispNYC/events/217730802/?eventId=217730802&chapter_analytics_code=UA-20563213-1

Les vidéos de l’exposé:

Les “slides” de l’exposé en pdf:

https://raw.githubusercontent.com/gbaz/mess/master/scheme-to-type-theory.pdf

Un papier de Per Martin Lof:

http://www.cs.tufts.edu/~nr/cs257/archive/per-martin-lof/constructive-math.pdf

Advertisements
This entry was posted in homotopy type theory and tagged . Bookmark the permalink.