Conferences in DBLP

TYPES Workshops (types)
1994 (conf/types/1994)

1. René M. C. Ahn
   Communication Contexts: a Pragmatic Approach to Information Exchange. [Citation Graph (0, 0)][DBLP]
   TYPES, 1994, pp:1-13 [Conf]
   
2. Herman Geuvers
   A short and flexible proof of Strong Normalization for the Calculus of Constructions. [Citation Graph (0, 0)][DBLP]
   TYPES, 1994, pp:14-38 [Conf]
   
3. Eduardo Giménez
   Codifying Guarded Definitions with Recursive Schemes. [Citation Graph (0, 0)][DBLP]
   TYPES, 1994, pp:39-59 [Conf]
   
4. Healfdene Goguen
   The Metatheory of UTT. [Citation Graph (0, 0)][DBLP]
   TYPES, 1994, pp:60-82 [Conf]
   
5. Pascal Manoury
   A User's Friendly Syntax to Define Recursive Functions as Typed lambda-Terms. [Citation Graph (0, 0)][DBLP]
   TYPES, 1994, pp:83-100 [Conf]
   
6. Tobias Nipkow, Konrad Slind
   I/Q Automata in Isabelle/HOL. [Citation Graph (0, 0)][DBLP]
   TYPES, 1994, pp:101-119 [Conf]
   
7. Lawrence C. Paulson
   A Concrete Final Coalgebra Theorem for ZF Set Theory. [Citation Graph (0, 0)][DBLP]
   TYPES, 1994, pp:120-139 [Conf]
   
8. Robert Pollack
   On Extensibility of Proof Checkers. [Citation Graph (0, 0)][DBLP]
   TYPES, 1994, pp:140-161 [Conf]
   
9. Aarne Ranta
   Syntactic Categories in the Language of Mathematics. [Citation Graph (0, 0)][DBLP]
   TYPES, 1994, pp:162-182 [Conf]
   
10. Amokrane Saïbi
    Formalization of a lamda-Calculus with Explicit Substitutions in Coq. [Citation Graph (0, 0)][DBLP]
    TYPES, 1994, pp:183-202 [Conf]