Pseudo-distributive laws and axiomatics for variable binding
Power, A. J. and Tanaka, M., 2006. Pseudo-distributive laws and axiomatics for variable binding. Higher-Order and Symbolic Computation, 19 (2/3), pp. 305-337.
Related documents:This repository does not currently have the full-text of this item.
You may be able to access a copy if URLs are provided below.
|Creators||Power, A. J.and Tanaka, M.|
|Departments||Faculty of Science > Computer Science|
Actions (login required)