Robert Harper
- A framework for defining logics
1993/01/01 by Robert Harper, Furio Honsell, Gordon Plotkin · 29 citations
Computer Science · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Formal Methods in Verification
- 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 Higher-Order Logic for Concurrent Termination-Preserving Refinement
2017/01/20 by Joseph Tassarotti, Tassarotti, Joseph, Ralf Jung +3 · 1 citation
Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Programming Languages (cs.PL) #Security and Verification in Computing
- 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
- 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
- Logical Relations as Types: Proof-Relevant Parametricity for Program Modules
2020/10/16 by Jonathan Sterling, Robert Harper · 1 voice · 1 citation
Computer Science · #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Software Engineering Research