IPMU
2010
Springer
15 years 1 months ago
2010
Springer
Are we interested in choice functions or function for choice? Was it my choice or did I choose? In the end it is all about sorts and operators, terms as given by the term monad ove...