加载中…
2023-03-16
Kreisel's counter-example to full abstraction of the set-theoretical model of Goedel's system T
Martin Escardo
文献摘要
The set-theoretical model of Goedel’s system T is not fully abstract. We also briefly discuss fully abstract models of system T.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本