Programming in Martin-Löf's type theory an introduction 论文

1990引用 433

Logic, programming, and type systemsLogic, Reasoning, and KnowledgeFormal Methods in Verification

Logic, Reasoning, and Knowledge Logic, programming, and type systems Formal Methods in Verification

相关技术:Formal Methods in Verification

Programming in Martin-Löf's type theory an introduction · 相关文章

暂无数据