登入選單

返回Google圖書搜尋

Martin-Löf Identity Types in C-systems

Vladimir VoevodskyBhargav BhattLinquan MaZsolt PatakfalviKarl SchwedeKevin TuckerJoe WaldronJakub WitaszekSélim GhazouaniCorinna Ulcigrai

出版	Institut des Hautes Études Scientifiques, 2023
URL	http://books.google.com.hk/books?id=_Jav0AEACAAJ&hl=&source=gbs_api