Conferences in DBLP

TYPES Workshops (types)
1996 (conf/types/1996)

1. Eduardo Giménez, Christine Paulin-Mohring
   Introduction. [Citation Graph (0, 0)][DBLP]
   TYPES, 1996, pp:1-8 [Conf]
   
2. Anthony Bailey
   Coercion Synthesis in Computer Implementations of Type-Theoretic Frameworks. [Citation Graph (0, 0)][DBLP]
   TYPES, 1996, pp:9-27 [Conf]
   
3. Bruno Barras
   Verification of the Interface of a Small Proof System in Coq. [Citation Graph (0, 0)][DBLP]
   TYPES, 1996, pp:28-45 [Conf]
   
4. Jan Cederquist
   An Implementation of the Heine-Borel Covering Theorem in Type Theory. [Citation Graph (0, 0)][DBLP]
   TYPES, 1996, pp:46-65 [Conf]
   
5. Ferruccio Damiani, Frédéric Prost
   Detecting and Removing Dead-Code using Rank 2 Intersection. [Citation Graph (0, 0)][DBLP]
   TYPES, 1996, pp:66-87 [Conf]
   
6. Gilles Dowek
   A Type-Free Formalization of Mathematics where Proofs are Objects. [Citation Graph (0, 0)][DBLP]
   TYPES, 1996, pp:88-111 [Conf]
   
7. Daniel Fridlender
   Highman's Lemma in theory. [Citation Graph (0, 0)][DBLP]
   TYPES, 1996, pp:112-133 [Conf]
   
8. Jean Goubault-Larrecq
   A Proof of Weak Termination of Typed lambda-sigma-Calculi. [Citation Graph (0, 0)][DBLP]
   TYPES, 1996, pp:134-153 [Conf]
   
9. John Harrison
   Proof Style. [Citation Graph (0, 0)][DBLP]
   TYPES, 1996, pp:154-172 [Conf]
   
10. Alex P. Jones, Zhaohui Luo, Sergei Soloviev
    Some Algorithmic and Proof-Theoretical Aspects of Coercive Subtyping. [Citation Graph (0, 0)][DBLP]
    TYPES, 1996, pp:173-195 [Conf]
    
11. Petri Mäenpää
    Semantical BNF. [Citation Graph (0, 0)][DBLP]
    TYPES, 1996, pp:196-215 [Conf]
    
12. Maria Emilia Maietti
    The Internal Type Theory of a Heyting Pretopos. [Citation Graph (0, 0)][DBLP]
    TYPES, 1996, pp:216-235 [Conf]
    
13. Conor McBride
    Inverting Inductively Defined Relations in LEGO. [Citation Graph (0, 0)][DBLP]
    TYPES, 1996, pp:236-253 [Conf]
    
14. Paul-André Melliès, Benjamin Werner
    A Generic Normalisation Proof for Pure Type Systems. [Citation Graph (0, 0)][DBLP]
    TYPES, 1996, pp:254-276 [Conf]
    
15. Jean-François Monin
    Proving a Real Time Algorithm for ATM in Coq. [Citation Graph (0, 0)][DBLP]
    TYPES, 1996, pp:277-293 [Conf]
    
16. César Muñoz
    Dependent Types with Explicit Substitutiuons: A Meta-theoretical development. [Citation Graph (0, 0)][DBLP]
    TYPES, 1996, pp:294-316 [Conf]
    
17. Wolfgang Naraschewski, Tobias Nipkow
    Type Inference Verified: Algorithm W in Isabelle/HOL. [Citation Graph (0, 0)][DBLP]
    TYPES, 1996, pp:317-332 [Conf]
    
18. Sara Negri
    Continous Lattices in Formal Topology. [Citation Graph (0, 0)][DBLP]
    TYPES, 1996, pp:333-353 [Conf]
    
19. Alvaro Tasistro
    Abstract Insertion Sort in an Extension of Type Theory with Record Types and Subtyping. [Citation Graph (0, 0)][DBLP]
    TYPES, 1996, pp:354-372 [Conf]