Conferences in DBLP

TYPES Workshops (types)
1993 (conf/types/1993)

1. Thorsten Altenkirch
   Proving Strong Normalization of CC by Modifying Realizability Semantics. [Citation Graph (0, 0)][DBLP]
   TYPES, 1993, pp:3-18 [Conf]
   
2. L. S. van Benthem Jutting, James McKinna, Robert Pollack
   Checking Algorithms for Pure Type Systems. [Citation Graph (0, 0)][DBLP]
   TYPES, 1993, pp:19-61 [Conf]
   
3. Thierry Coquand
   Infinite Objects in Type Theory. [Citation Graph (0, 0)][DBLP]
   TYPES, 1993, pp:62-78 [Conf]
   
4. Herman Geuvers
   Conservativity between Logics and Typed lambda Calculi. [Citation Graph (0, 0)][DBLP]
   TYPES, 1993, pp:79-107 [Conf]
   
5. Susumu Hayashi
   Logic of Refinement Types. [Citation Graph (0, 0)][DBLP]
   TYPES, 1993, pp:108-126 [Conf]
   
6. Leen Helmink, M. P. A. Sellink, Frits W. Vaandrager
   Proof-Checking a Data Link Protocol. [Citation Graph (0, 0)][DBLP]
   TYPES, 1993, pp:127-165 [Conf]
   
7. Martin Hofmann
   Elimination of Extensionality in Martin-Löf Type Theory. [Citation Graph (0, 0)][DBLP]
   TYPES, 1993, pp:166-190 [Conf]
   
8. François Leclerc, Christine Paulin-Mohring
   Programming with Streams in Coq - A Case Study: the Sieve of Eratosthenes. [Citation Graph (0, 0)][DBLP]
   TYPES, 1993, pp:191-212 [Conf]
   
9. Lena Magnusson, Bengt Nordström
   The ALF Proof Editor and Its Proof Engine. [Citation Graph (0, 0)][DBLP]
   TYPES, 1993, pp:213-237 [Conf]
   
10. Savi Maharaj
    Encoding Z-style Schemas in Type Theory. [Citation Graph (0, 0)][DBLP]
    TYPES, 1993, pp:238-262 [Conf]
    
11. Marino Miculan
    The Expressive Power of Structural Operational Semantics with Explicit Assumptions. [Citation Graph (0, 0)][DBLP]
    TYPES, 1993, pp:263-290 [Conf]
    
12. Catherine Parent
    Developing Certified Programs in the System Coq - The Program Tactic. [Citation Graph (0, 0)][DBLP]
    TYPES, 1993, pp:291-312 [Conf]
    
13. Randy Pollack
    Closure Under Alpha-Conversion. [Citation Graph (0, 0)][DBLP]
    TYPES, 1993, pp:313-332 [Conf]
    
14. Christophe Faffalli
    Machine Deduction. [Citation Graph (0, 0)][DBLP]
    TYPES, 1993, pp:333-351 [Conf]
    
15. Aarne Ranta
    Type Theory and the Informal Language of Mathematics. [Citation Graph (0, 0)][DBLP]
    TYPES, 1993, pp:352-365 [Conf]
    
16. David A. Wolfram
    Semantics for Abstract Clauses. [Citation Graph (0, 0)][DBLP]
    TYPES, 1993, pp:366-383 [Conf]