Bindings, mobility of bindings, and the ▽-quantifier: An abstract

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3210, Issue , 2004, Pages 24-

  Miller, Dale ^a  

^a INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 35048856556     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30124-0_4     Document Type: Article

References (3)

1. Miller, D., Tiu, A.: A proof theory for generic judgments: An extended abstract. In: Proceedings of LICS 2003, IEEE (2003) 118-127
2. Miller, D., Tiu, A.: A proof theory for generic judgments. ACM Transactions on Computational Logic (To appear.)
3. Tiu, A., Miller, D.: A proof search specification of the π-calculus. Submitted. (2004)