Original language | English |
---|---|
Pages (from-to) | 305-337 |
Number of pages | 33 |
Journal | Higher-Order and Symbolic Computation |
Volume | 19 |
Issue number | 2/3 |
DOIs | |
Publication status | Published - 2006 |
Pseudo-distributive laws and axiomatics for variable binding
A J Power, M Tanaka
Research output: Contribution to journal › Article › peer-review
15
Citations
(SciVal)