Conferences in DBLP
Peter Aczel On Relating Type Theories and Set Theories. [Citation Graph (0, 0)][DBLP ] TYPES, 1998, pp:1-18 [Conf ] René M. C. Ahn , Tijn Borghuis Communication Modelling and Context-Dependent Interpretation: An Integrated Approach. [Citation Graph (0, 0)][DBLP ] TYPES, 1998, pp:19-32 [Conf ] Thierry Coquand , Henrik Persson Gröbner Bases in Type Theory. [Citation Graph (0, 0)][DBLP ] TYPES, 1998, pp:33-46 [Conf ] Joëlle Despeyroux , Pierre Leleu A Modal Lambda Calculus with Iteration and Case Constructs. [Citation Graph (0, 0)][DBLP ] TYPES, 1998, pp:47-61 [Conf ] Gilles Dowek , Benjamin Werner Proof Normalization Modulo. [Citation Graph (0, 0)][DBLP ] TYPES, 1998, pp:62-77 [Conf ] Jean-Christophe Filliâtre Proof of Imperative Programs in Type Theory. [Citation Graph (0, 0)][DBLP ] TYPES, 1998, pp:78-92 [Conf ] Daniel Fridlender An Interpretation of the Fan Theorem in Type Theory. [Citation Graph (0, 0)][DBLP ] TYPES, 1998, pp:93-105 [Conf ] Jean Goubault-Larrecq Conjunctive Types and SKInT. [Citation Graph (0, 0)][DBLP ] TYPES, 1998, pp:106-120 [Conf ] Florian Kammüller Modular Structures as Dependent Types in Isabelle. [Citation Graph (0, 0)][DBLP ] TYPES, 1998, pp:121-132 [Conf ] Thomas Kleymann Metatheory of Verification Calculi in LEGO - To what Extent Does Syntax Matter? [Citation Graph (0, 0)][DBLP ] TYPES, 1998, pp:133-148 [Conf ] Luigi Liquori Bounded Polymorphism for Extensible Objects. [Citation Graph (0, 0)][DBLP ] TYPES, 1998, pp:149-163 [Conf ] Maria Emilia Maietti About Effective Quotients in Constructive Type Theory. [Citation Graph (0, 0)][DBLP ] TYPES, 1998, pp:164-178 [Conf ] Frank Pfenning , Carsten Schürmann Algorithms for Equality and Unification in the Presence of Notational Definitions. [Citation Graph (0, 0)][DBLP ] TYPES, 1998, pp:179-193 [Conf ] Giovanni Sambin , Silvia Gebellato A Preview of the Basic Picture: A New Perspective on Formal Topology. [Citation Graph (0, 0)][DBLP ] TYPES, 1998, pp:194-207 [Conf ]