- Constructing Polymorphic Programs with Quotient Michael Abbott 1 , Thorsten Altenkirch 2 , Neil Ghani 1 , and Conor McBride 3
- Derivatives of Containers Michael Abbott 1 , Thorsten Altenkirch 2 , Neil Ghani 1 , and Conor McBride 3
- Categories of Containers Michael Abbott 1 , Thorsten Altenkirch 2 , and Neil Ghani 1
- Acta Informatica manuscript No. (will be inserted by the editor)
- Representing Nested Inductive Types using Wtypes
- Constructing Strictly Positive Types Michael Abbott a, Thorsten Altenkirch b, Neil Ghani a
- Constructing Strictly Positive Types Michael Abbott a , Thorsten Altenkirch b , Neil Ghani a
- Categories of Containers Thesis submitted for the degree of
- Categories of Containers Michael Abbott1, Thorsten Altenkirch2, and Neil Ghani1
- Derivatives of Containers Michael Abbott1, Thorsten Altenkirch2, Neil Ghani1, and Conor McBride3
- Categories of Containers Thesis submitted for the degree of
