The differential λµ-calculus (2007)

by L Vaux
Venue:Department of Computer Science, Iowa State University