A New Approach to Abstract Syntax with Variable Binding 论文

2002Formal Aspects of Computing引用 547
DOIPDF
Logic, programming, and type systemsLogic, Reasoning, and Knowledgesemigroups and automata theory
Logic, Reasoning, and KnowledgeLogic, programming, and type systemssemigroups and automata theory
关系图谱

A New Approach to Abstract Syntax with Variable Binding · 作者

A

Andrew M. Pitts

M

Murdoch J. Gabbay