出租 发表于 2025-3-21 18:09:58

书目名称History and Philosophy of Constructive Type Theory影响因子(影响力)<br>        http://figure.impactfactor.cn/if/?ISSN=BK0427507<br><br>        <br><br>书目名称History and Philosophy of Constructive Type Theory影响因子(影响力)学科排名<br>        http://figure.impactfactor.cn/ifr/?ISSN=BK0427507<br><br>        <br><br>书目名称History and Philosophy of Constructive Type Theory网络公开度<br>        http://figure.impactfactor.cn/at/?ISSN=BK0427507<br><br>        <br><br>书目名称History and Philosophy of Constructive Type Theory网络公开度学科排名<br>        http://figure.impactfactor.cn/atr/?ISSN=BK0427507<br><br>        <br><br>书目名称History and Philosophy of Constructive Type Theory被引频次<br>        http://figure.impactfactor.cn/tc/?ISSN=BK0427507<br><br>        <br><br>书目名称History and Philosophy of Constructive Type Theory被引频次学科排名<br>        http://figure.impactfactor.cn/tcr/?ISSN=BK0427507<br><br>        <br><br>书目名称History and Philosophy of Constructive Type Theory年度引用<br>        http://figure.impactfactor.cn/ii/?ISSN=BK0427507<br><br>        <br><br>书目名称History and Philosophy of Constructive Type Theory年度引用学科排名<br>        http://figure.impactfactor.cn/iir/?ISSN=BK0427507<br><br>        <br><br>书目名称History and Philosophy of Constructive Type Theory读者反馈<br>        http://figure.impactfactor.cn/5y/?ISSN=BK0427507<br><br>        <br><br>书目名称History and Philosophy of Constructive Type Theory读者反馈学科排名<br>        http://figure.impactfactor.cn/5yr/?ISSN=BK0427507<br><br>        <br><br>

jocular 发表于 2025-3-21 21:08:38

http://reply.papertrans.cn/43/4276/427507/427507_2.png

Exclude 发表于 2025-3-22 02:38:11

http://reply.papertrans.cn/43/4276/427507/427507_3.png

Nomogram 发表于 2025-3-22 06:26:33

0166-6991form or as part of conference talks.Sommaruga surveys the prehistory of type theory and its highly complexdevelopment through eight different stages from 1970 to 1995. He alsoprovides a systematic presentation of the latest version of thetheory, as offered by Martin-Löf at Leiden University in Fall

坦白 发表于 2025-3-22 11:19:23

http://reply.papertrans.cn/43/4276/427507/427507_5.png

Psychogenic 发表于 2025-3-22 14:39:01

History and Philosophy of Constructive Type Theory

蒙太奇 发表于 2025-3-22 18:15:47

http://reply.papertrans.cn/43/4276/427507/427507_7.png

FACET 发表于 2025-3-23 00:11:59

http://reply.papertrans.cn/43/4276/427507/427507_8.png

橡子 发表于 2025-3-23 04:15:06

http://reply.papertrans.cn/43/4276/427507/427507_9.png

tenosynovitis 发表于 2025-3-23 06:09:44

http://reply.papertrans.cn/43/4276/427507/427507_10.png
页: [1] 2 3 4
查看完整版本: Titlebook: History and Philosophy of Constructive Type Theory; Giovanni Sommaruga Book 2000 Springer Science+Business Media B.V. 2000 foundation.hist