![]() | Combinatory Logic: Pure, Applied and Typed Katalin Bimbo is an assistant professor in the Department of Philosophy at the University of Alberta in Edmonton, Canada. |
![hidden image for function call](https://upload.wikimedia.org/wikipedia/commons/c/ca/1x1.png)
![]() | Combinatory Logic: Pure, Applied and Typed Katalin Bimbo is an assistant professor in the Department of Philosophy at the University of Alberta in Edmonton, Canada. |