Back to Search Start Over

Pseudo-distributive laws and axiomatics for variable binding.

Authors :
Miki Tanaka
John Power
Source :
Higher-Order & Symbolic Computation; Sep2006, Vol. 19 Issue 2, p305-337, 33p
Publication Year :
2006

Details

Language :
English
ISSN :
13883690
Volume :
19
Issue :
2
Database :
Complementary Index
Journal :
Higher-Order & Symbolic Computation
Publication Type :
Academic Journal
Accession number :
22968612

Tools

Authors Abstract Subjects Details