The top documents tagged [direct computations]

Propositional Equality, Identity Types and Reversible Rewriting Sequences as Homotopies

---

130 views

M10l25

---

22 views

ELF, aca:Demic writing, and the semanticization of thought

---

46 views