Search the dblp DataBase

Publications of Author

1. David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu
   The Bedwyr System for Model Checking over Syntactic Expressions. [Citation Graph (0, 0)][DBLP]
   CADE, 2007, pp:391-397 [Conf]
   
2. David Baelde, Dale Miller
   Least and Greatest Fixed Points in Linear Logic. [Citation Graph (0, 0)][DBLP]
   LPAR, 2007, pp:92-106 [Conf]
   
3. David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu
   The Bedwyr system for model checking over syntactic expressions [Citation Graph (0, 0)][DBLP]
   CoRR, 2007, v:0, n:, pp:- [Journal]
   
4. 
   Focused Inductive Theorem Proving. [Citation Graph (, )][DBLP]
   
   
5. 
   A meta-programming approach to realizing dependently typed logic programming. [Citation Graph (, )][DBLP]
   
   
6. 
   On the Proof Theory of Regular Fixed Points. [Citation Graph (, )][DBLP]
   
   
7. 
   Least and greatest fixed points in linear logic [Citation Graph (, )][DBLP]
   
   
8. 
   A Meta-Programming Approach to Realizing Dependently Typed Logic Programming [Citation Graph (, )][DBLP]
   
   
9. 
   Redundancies in Dependently Typed Lambda Calculi and Their Relevance to Proof Search [Citation Graph (, )][DBLP]
   
   
10. 
    On the Expressivity of Minimal Generic Quantification. [Citation Graph (, )][DBLP]