Abstract syntax and variable binding 论文

2003引用 358
DOI
Logic, programming, and type systemsLogic, Reasoning, and KnowledgeNatural Language Processing Techniques
Natural Language Processing TechniquesLogic, Reasoning, and KnowledgeLogic, programming, and type systems
相关技术:Natural Language Processing Techniques
关系图谱

Abstract syntax and variable binding · 作者

D

Daniele Turi

G

Gordon Plotkin

M

Marcelo Fiore