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

### Cached

### Download Links

by
Conor Mcbride

Citations: | 36 - 6 self |