Binary operations applied to functions (1989)

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