DMCA

The lambda-context calculus

Cached

Download Links

by Murdoch J. Gabbay , Stéphane Lengrand
Venue:In: LFMTP’07: International Workshop on Logical Frameworks and Meta-Languages