标签homotopy-type-theory - 这是页1 - GeneraCodice

How to define higher inductive types in Z3

https://www.generacodice.com/cn/articolo/11181310/how-to-define-higher-inductive-types-in-z3

types - z3 - homotopy-type-theory

同型型理论可用于从较低效率的更有效的数据表示上获得更高效的算法吗？

https://www.generacodice.com/cn/articolo/2468343/同型型理论可用于从较低效率的更有效的数据表示上获得更高效的算法吗

optimization - homotopy-type-theory

cs.stackexchange

同伦类型理论中的无序对

https://www.generacodice.com/cn/articolo/2459487/同伦类型理论中的无序对

homotopy-type-theory

cs.stackexchange

立方体类型理论是否仍然与一元排除的中间和一元选择一致？

https://www.generacodice.com/cn/articolo/2453079/立方体类型理论是否仍然与一元排除的中间和一元选择一致

homotopy-type-theory - cubical-type-theory

cs.stackexchange

理论中产品类型消除器的推导

https://www.generacodice.com/cn/articolo/2445129/理论中产品类型消除器的推导

type-theory - homotopy-type-theory

cs.stackexchange

Elementary proof that Bool is a Set

https://www.generacodice.com/cn/articolo/1616515/elementary-proof-that-bool-is-a-set

homotopy-type-theory

cs.stackexchange

What does canonicity property mean in Type Theory?

https://www.generacodice.com/cn/articolo/1616278/what-does-canonicity-property-mean-in-type-theory

type-theory - dependent-types - homotopy-type-theory - cubical-type-theory

cs.stackexchange

What types are propositions?

https://www.generacodice.com/cn/articolo/1615816/what-types-are-propositions

coq - homotopy-type-theory - calculus-of-constructions

cs.stackexchange

Propositional truncation of excluded middle

https://www.generacodice.com/cn/articolo/1615027/propositional-truncation-of-excluded-middle

agda - dependent-types - homotopy-type-theory - cubical-type-theory

cs.stackexchange

How is functional property guaranteed in type theory when function type is defined?

https://www.generacodice.com/cn/articolo/1613597/how-is-functional-property-guaranteed-in-type-theory-when-function-type-is-defined

type-theory - homotopy-type-theory

cs.stackexchange

«
1
2
3
4
»

发现结果: 36