Pseudo-distributive laws and axiomatics for variable binding
Reference:
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.
Official URL:
http://dx.doi.org/10.1007/s10990-006-8750-x
Details
| Item Type | Articles |
| Creators | Power, A. J.and Tanaka, M. |
| DOI | 10.1007/s10990-006-8750-x |
| Departments | Faculty of Science > Computer Science |
| Refereed | Yes |
| Status | Published |
| ID Code | 16176 |
Export
Actions (login required)
| View Item |
