Carlo Angiuli
- Homotopical patch theory
2014/08/19 by Carlo Angiuli, Edward Morehouse, Daniel R. Licata +1 · 1 voice · 1 citation
Computer Science · #Advanced Database Systems and Queries #Logic, programming, and type systems #Security and Verification in Computing