Videos

Type theory and formalization of mathematics

Presenter
September 28, 2015
IAS
Keywords:
  • Short Talks by Postdoctoral Members
Type theory and formalization of mathematics Thumbnail
Play Video
Abstract
Type theory and formalization of mathematics
Supplementary Materials