# homotopy type theory

> variant of type theory incorporating the univalence axiom of Voevodsky

**Wikidata**: [Q5891840](https://www.wikidata.org/wiki/Q5891840)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Homotopy_type_theory)  
**Source**: https://4ort.xyz/entity/homotopy-type-theory


## References

1. Quora
2. [Source](https://golden.com/wiki/Homotopy_type_theory-A9AW5G)