A New Approach to Abstract Syntax with Variable Binding

14 years 7 days 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)