Pseudo-distributive laws and axiomatics for variable binding

Research output: Contribution to journal › Article › peer-review

17 Citations (SciVal)

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	https://doi.org/10.1007/s10990-006-8750-x
Publication status	Published - 2006

Access to Document

@article{c2b37d3d3eb842f2b48f8535388cd6d3,

title = "Pseudo-distributive laws and axiomatics for variable binding",

author = "Power, \{A J\} and M Tanaka",

year = "2006",

doi = "10.1007/s10990-006-8750-x",

language = "English",

volume = "19",

pages = "305--337",

journal = "Higher-Order and Symbolic Computation",

issn = "1573-0557",

publisher = "Springer Netherlands",

number = "2/3",

}

TY - JOUR

T1 - Pseudo-distributive laws and axiomatics for variable binding

AU - Power, A J

AU - Tanaka, M

PY - 2006

Y1 - 2006

UR - http://dx.doi.org/10.1007/s10990-006-8750-x

U2 - 10.1007/s10990-006-8750-x

DO - 10.1007/s10990-006-8750-x

M3 - Article

SN - 1573-0557

VL - 19

SP - 305

EP - 337

JO - Higher-Order and Symbolic Computation

JF - Higher-Order and Symbolic Computation

IS - 2/3

ER -