Presentation on Type Theory for Fuzzy Properties (@ LENLS 19)

The following presentation has been accepted to LENLS 19.

  • Youyou Cong. In Search of a Type Theory for Fuzzy Properties.