Nghĩa của từ univalence bằng Tiếng Việt

(tình trạng) hóa trị một

Đặt câu có từ "univalence"

Dưới đây là những mẫu câu có chứa từ "univalence", trong bộ từ điển Từ điển Y Khoa Anh - Việt. Chúng ta có thể tham khảo những mẫu câu này để đặt câu trong tình huống cần đặt câu với từ univalence, hoặc tham khảo ngữ cảnh sử dụng từ univalence trong bộ từ điển Từ điển Y Khoa Anh - Việt

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.