Type TheoryJul 17, 2023Simply Typed Lambda CalculusMartin Löf Type TheoryHomotopy Type Theory# LinksCategory TheoryHaskell