Conferences in DBLP

(odbis)
2006 (conf/types/2006)

1. Robin Adams, Zhaohui Luo
   Weyl's Predicative Classical Mathematics as a Logic-Enriched Type Theory. [Citation Graph (0, 0)][DBLP]
   TYPES, 2006, pp:1-17 [Conf]
   
2. Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli
   Crafting a Proof Assistant. [Citation Graph (0, 0)][DBLP]
   TYPES, 2006, pp:18-32 [Conf]
   
3. Richard Bonichon, Olivier Hermant
   On Constructive Cut Admissibility in Deduction Modulo. [Citation Graph (0, 0)][DBLP]
   TYPES, 2006, pp:33-47 [Conf]
   
4. Frédéric Besson
   Fast Reflexive Arithmetic Tactics the Linear Case and Beyond. [Citation Graph (0, 0)][DBLP]
   TYPES, 2006, pp:48-62 [Conf]
   
5. Venanzio Capretta, Amy P. Felty
   Combining de Bruijn Indices and Higher-Order Abstract Syntax in Coq. [Citation Graph (0, 0)][DBLP]
   TYPES, 2006, pp:63-77 [Conf]
   
6. Pierre Corbineau
   Deciding Equality in the Constructor Theory. [Citation Graph (0, 0)][DBLP]
   TYPES, 2006, pp:78-92 [Conf]
   
7. Nils Anders Danielsson
   A Formalisation of a Dependently Typed Language as an Inductive-Recursive Family. [Citation Graph (0, 0)][DBLP]
   TYPES, 2006, pp:93-109 [Conf]
   
8. Gilles Dowek
   Truth Values Algebras and Proof Normalization. [Citation Graph (0, 0)][DBLP]
   TYPES, 2006, pp:110-124 [Conf]
   
9. Maribel Fernández, Murdoch Gabbay
   Curry-Style Types for Nominal Terms. [Citation Graph (0, 0)][DBLP]
   TYPES, 2006, pp:125-139 [Conf]
   
10. Herman Geuvers
    (In)consistency of Extensions of Higher Order Logic and Type Theory. [Citation Graph (0, 0)][DBLP]
    TYPES, 2006, pp:140-159 [Conf]
    
11. Florian Haftmann, Makarius Wenzel
    Constructive Type Classes in Isabelle. [Citation Graph (0, 0)][DBLP]
    TYPES, 2006, pp:160-174 [Conf]
    
12. Danko Ilik
    Zermelo's Well-Ordering Theorem in Type Theory. [Citation Graph (0, 0)][DBLP]
    TYPES, 2006, pp:175-187 [Conf]
    
13. Florent Kirchner
    A Finite First-Order Theory of Classes. [Citation Graph (0, 0)][DBLP]
    TYPES, 2006, pp:188-202 [Conf]
    
14. Milad Niqui
    Coinductive Correctness of Homographic and Quadratic Algorithms for Exact Real Numbers. [Citation Graph (0, 0)][DBLP]
    TYPES, 2006, pp:203-220 [Conf]
    
15. Hugo R. Simões, Kevin Hammond, Mário Florido, Pedro B. Vasconcelos
    Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs. [Citation Graph (0, 0)][DBLP]
    TYPES, 2006, pp:221-236 [Conf]
    
16. Matthieu Sozeau
    Subset Coercions in Coq. [Citation Graph (0, 0)][DBLP]
    TYPES, 2006, pp:237-252 [Conf]
    
17. Nathan Whitehead
    A Certified Distributed Security Logic for Authorizing Code. [Citation Graph (0, 0)][DBLP]
    TYPES, 2006, pp:253-268 [Conf]