当前位置: X-MOL 学术Math. Struct. Comput. Sci. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
The genesis of the groupoid model
Mathematical Structures in Computer Science ( IF 0.5 ) Pub Date : 2020-12-29 , DOI: 10.1017/s0960129520000286
Thomas Streicher

I recall how Martin Hofmann and I found the groupoid model of type theory in the early 1990s.



中文翻译:

groupoid 模型的起源

我记得 Martin Hofmann 和我是如何在 1990 年代早期发现类型论的群模型的。

更新日期:2020-12-29
down
wechat
bug