The differential λµ-calculus (2007)

by Lionel Vaux
Venue:Theor. Comput. Sci
Citations:6 - 2 self