Reference. The Derivative of a Regular Type is its Type of One-Hole Contexts [mcbride-2001-derivative]

2001 · Conor McBride
https://api.semanticscholar.org/CorpusID:15235160 
@inproceedings{mcbride-2001-derivative,
	title = {The Derivative of a Regular Type is its Type of One-Hole Contexts},
	author = {McBride, Conor},
	year = {2001},
	url = {https://api.semanticscholar.org/CorpusID:15235160}
}