Search the dblp DataBase

Publications of Author

1. Danièle Beauquier, Tristan Crolard, Evguenia Prokofieva
   Automatic Parametric Verification of a Root Contention Protocol Based on Abstract State Machines and First Order Timed Logic. [Citation Graph (0, 0)][DBLP]
   TACAS, 2004, pp:372-387 [Conf]
   
2. Tristan Crolard
   A type theory which is complete for Kreisel's modified realizability. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1999, v:23, n:1, pp:- [Journal]
   
3. Tristan Crolard
   A confluent lambda-calculus with a catch/throw mechanism. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 1999, v:9, n:6, pp:625-647 [Journal]
   
4. Tristan Crolard
   A Formulae-as-Types Interpretation of Subtractive Logic. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2004, v:14, n:4, pp:529-570 [Journal]
   
5. Tristan Crolard
   Subtractive logic. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2001, v:254, n:1-2, pp:151-185 [Journal]
   
6. 
   A Formally Specified Type System and Operational Semantics for Higher-Order Procedural Variables [Citation Graph (, )][DBLP]