Jason Reed
|  |
Research
Interests: type theory, logic, proof assistants, constructive logic, substructural logics, linear logic, modal logics, dependent types, proof theory, focusing, polarity, category theory, higher-dimensional algebra, internalized parametricity, homotopy type theory, combinatorics, algebraic geometry
blog
PhD thesis ("A Hybrid Logical Framework")
papers
drafts
Selections from Perido de Mar
The House
A Hybrid Logical Framework