The derivative of a regular type is its type of one-hole contexts. Unpublished manuscript (2001 (2012)

by C McBride
Venue:Foundations of Software Science and Computational Structures