The Derivative of a Regular Type is its Type of One-Hole Contexts (Extended Abstract) (2001)

by Conor Mcbride
Citations:39 - 7 self