Curried and uncurried functions (1990)

by Grzegorz Bancerek
Venue:Journal of Formalized Mathematics