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

by Conor Mcbride
Citations:36 - 6 self