The differential lambda-calculus 论文
2003Theoretical Computer Science引用 242
Logic, programming, and type systemsLogic, Reasoning, and KnowledgeFormal Methods in Verification
详细信息
- 发表期刊/会议
- Theoretical Computer Science
- 发表日期
- 2003-08-08
- 发表年份
- 2003
关键词
Logic, programming, and type systemsLogic, Reasoning, and KnowledgeFormal Methods in Verification