Miller, Dale

1. Nominal Abstraction
   2009/08/10 by Andrew Gacek, Dale Miller, Gacek, Andrew +3 · 2 citations
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #cs.LO
2. A two-level logic approach to reasoning about computations
   2009/11/16 by Andrew Gacek, Gacek, Andrew, Dale Miller +3 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Programming Languages (cs.PL) #Semantic Web and Ontologies #cs.LO #cs.PL