"A New Approach to Abstract Syntax with Variable Binding."

Murdoch Gabbay, Andrew M. Pitts (2002)

Details and statistics

DOI: 10.1007/S001650200016

access: open

type: Journal Article

metadata version: 2022-05-09