Binary operations applied to functions (1989)

by Andrzej Trybulec
Venue:Journal of Formalized Mathematics
Citations:258 - 43 self