univalence in Vietnamese

@univalence
* danh từ
- tính đơn trị
@Chuyên ngành kỹ thuật
-đơn diệp
-đơn giá
-hóa trị một
@Lĩnh vực: toán & tin
-đơn diệp, đơn giá

Sentence patterns related to "univalence"

Below are sample sentences containing the word "univalence" from the English - Vietnamese Dictionary. We can refer to these sentence patterns for sentences in case of finding sample sentences with the word "univalence", or refer to the context using the word "univalence" in the English - Vietnamese Dictionary.

1. For an introduction to Cubical Agda, see Cubical Agda: a dependently typed programming language with univalence and higher inductive types by Andrea Vezzosi, Anders Mörtberg, and Andreas Abel

2. The problem of finding a constructive way of interpreting the rules of the Martin-Löf type theory that in addition satisfies the univalence axiom and canonicity for natural numbers remains open.