Pseudo-distributive laws and axiomatics for variable binding

A J Power, M Tanaka

Research output: Contribution to journalArticle

10 Citations (Scopus)
Original languageEnglish
Pages (from-to)305-337
Number of pages33
JournalHigher-Order and Symbolic Computation
Volume19
Issue number2/3
DOIs
Publication statusPublished - 2006

Cite this