DMCA

The lambda-context calculus (extended version (2009)

Cached

Download Links

by Murdoch J. Gabbay
Venue:Information and computation
Citations:1 - 0 self