DMCA

Foundations of nominal techniques: logic and semantics of variables in abstract syntax

Cached

Download Links

by Murdoch J. Gabbay
Citations:23 - 10 self