Harley Eades
- Graded Modal Dependent Type Theory
2020/10/25 by Benjamin C. Moon, Moon, Benjamin, Harley Eades +3 · 2 citations
Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #Software Engineering Research