Domains and Lambda-Calculi 论文

1998Cambridge University Press eBooks引用 291
DOI
Computability, Logic, AI AlgorithmsLogic, programming, and type systemsLogic, Reasoning, and Knowledge
Computability, Logic, AI AlgorithmsLogic, Reasoning, and KnowledgeLogic, programming, and type systems
相关技术:Computability, Logic, AI Algorithms
关系图谱

Domains and Lambda-Calculi · 作者

P

Pierre-Louis Curien

R

Roberto M. Amadio