A New Approach to Abstract Syntax with Variable Binding

13 years 11 months ago

proach to Abstract Syntax with Variable Binding1 Murdoch J. Gabbay and Andrew M. Pitts Cambridge University Computer Laboratory, Cambridge, UK

Murdoch Gabbay, Andrew M. Pitts

Abstract Syntax | Cambridge University Computer Laboratory | FAC 2002 | Variable Binding1 Murdoch |

claim paper

Added	19 Dec 2010
Updated	19 Dec 2010
Type	Journal
Year	2002
Where	FAC
Authors	Murdoch Gabbay, Andrew M. Pitts

Comments (0)