Gödel’s Functional (“Dialectica”) Interpretation 论文

1998Studies in logic and the foundations of mathematics引用 215
DOI
Computability, Logic, AI AlgorithmsMathematical and Theoretical AnalysisLogic, programming, and type systems
Computability, Logic, AI AlgorithmsLogic, programming, and type systemsMathematical and Theoretical Analysis
相关技术:Computability, Logic, AI Algorithms
关系图谱

Gödel’s Functional (“Dialectica”) Interpretation · 相关事件

暂无数据