Harper, Robert
- On Equivalence and Canonical Forms in the LF Type Theory
2001/10/11 by Robert Harper, Frank Pfenning, Harper, Robert +1 · 1 citation
Computer Science · Mathematics · #Advanced Topics in Algebra #Algebraic structures and combinatorial models #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #cs.LO
- A cost-aware logical framework
2021/07/09 by Niu, Yue, Sterling, Jonathan, Grodin, Harrison +1 · 2 citations
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- A Higher-Order Logic for Concurrent Termination-Preserving Refinement
2017/01/20 by Tassarotti, Joseph, Jung, Ralf, Harper, Robert · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
- Algebraic Foundations of Proof Refinement
2017/03/15 by Jonathan Sterling, Sterling, Jonathan, Robert Harper +1 · 1 citation
Computer Science · #Logic, programming, and type systems #semigroups and automata theory #Formal Methods in Verification
- Computational Higher Type Theory III: Univalent Universes and Exact Equality
2017/12/05 by Angiuli, Carlo, Hou, Kuen-Bang, Harper, Robert · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Sheaf semantics of termination-insensitive noninterference
2022/04/20 by Sterling, Jonathan, Harper, Robert · 1 citation
#FOS: Computer and information sciences #Programming Languages (cs.PL)