Conferences in DBLP
Thorsten Altenkirch Proving Strong Normalization of CC by Modifying Realizability Semantics. [Citation Graph (0, 0)][DBLP ] TYPES, 1993, pp:3-18 [Conf ] 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 ] Thierry Coquand Infinite Objects in Type Theory. [Citation Graph (0, 0)][DBLP ] TYPES, 1993, pp:62-78 [Conf ] Herman Geuvers Conservativity between Logics and Typed lambda Calculi. [Citation Graph (0, 0)][DBLP ] TYPES, 1993, pp:79-107 [Conf ] Susumu Hayashi Logic of Refinement Types. [Citation Graph (0, 0)][DBLP ] TYPES, 1993, pp:108-126 [Conf ] 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 ] Martin Hofmann Elimination of Extensionality in Martin-Löf Type Theory. [Citation Graph (0, 0)][DBLP ] TYPES, 1993, pp:166-190 [Conf ] 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 ] Lena Magnusson , Bengt Nordström The ALF Proof Editor and Its Proof Engine. [Citation Graph (0, 0)][DBLP ] TYPES, 1993, pp:213-237 [Conf ] Savi Maharaj Encoding Z-style Schemas in Type Theory. [Citation Graph (0, 0)][DBLP ] TYPES, 1993, pp:238-262 [Conf ] Marino Miculan The Expressive Power of Structural Operational Semantics with Explicit Assumptions. [Citation Graph (0, 0)][DBLP ] TYPES, 1993, pp:263-290 [Conf ] Catherine Parent Developing Certified Programs in the System Coq - The Program Tactic. [Citation Graph (0, 0)][DBLP ] TYPES, 1993, pp:291-312 [Conf ] Randy Pollack Closure Under Alpha-Conversion. [Citation Graph (0, 0)][DBLP ] TYPES, 1993, pp:313-332 [Conf ] Christophe Faffalli Machine Deduction. [Citation Graph (0, 0)][DBLP ] TYPES, 1993, pp:333-351 [Conf ] Aarne Ranta Type Theory and the Informal Language of Mathematics. [Citation Graph (0, 0)][DBLP ] TYPES, 1993, pp:352-365 [Conf ] David A. Wolfram Semantics for Abstract Clauses. [Citation Graph (0, 0)][DBLP ] TYPES, 1993, pp:366-383 [Conf ]