The SCEAS System
Navigation Menu

Conferences in DBLP

TYPES Workshops (types)
1998 (conf/types/1998)

  1. Peter Aczel
    On Relating Type Theories and Set Theories. [Citation Graph (0, 0)][DBLP]
    TYPES, 1998, pp:1-18 [Conf]
  2. 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]
  3. Thierry Coquand, Henrik Persson
    Gröbner Bases in Type Theory. [Citation Graph (0, 0)][DBLP]
    TYPES, 1998, pp:33-46 [Conf]
  4. 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]
  5. Gilles Dowek, Benjamin Werner
    Proof Normalization Modulo. [Citation Graph (0, 0)][DBLP]
    TYPES, 1998, pp:62-77 [Conf]
  6. Jean-Christophe Filliâtre
    Proof of Imperative Programs in Type Theory. [Citation Graph (0, 0)][DBLP]
    TYPES, 1998, pp:78-92 [Conf]
  7. Daniel Fridlender
    An Interpretation of the Fan Theorem in Type Theory. [Citation Graph (0, 0)][DBLP]
    TYPES, 1998, pp:93-105 [Conf]
  8. Jean Goubault-Larrecq
    Conjunctive Types and SKInT. [Citation Graph (0, 0)][DBLP]
    TYPES, 1998, pp:106-120 [Conf]
  9. Florian Kammüller
    Modular Structures as Dependent Types in Isabelle. [Citation Graph (0, 0)][DBLP]
    TYPES, 1998, pp:121-132 [Conf]
  10. 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]
  11. Luigi Liquori
    Bounded Polymorphism for Extensible Objects. [Citation Graph (0, 0)][DBLP]
    TYPES, 1998, pp:149-163 [Conf]
  12. Maria Emilia Maietti
    About Effective Quotients in Constructive Type Theory. [Citation Graph (0, 0)][DBLP]
    TYPES, 1998, pp:164-178 [Conf]
  13. 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]
  14. 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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002