Paolo Capriotti's blog

Type theory, category theory, functional programming

RSS
  • Blog
  • Archive
  • About

Category: type theory

2013

Another proof of function extensionality

Sep 18 2013
posted in HoTT, agda, type theory

Families and fibrations

Feb 20 2013
posted in type theory
Creative Commons License

This website is licensed under a Creative Commons Attribution 3.0 Unported License.