Conferences in DBLP
Andreas Abel Specification and Verification of a Formal System for Structurally Recursive Functions. [Citation Graph (0, 0)][DBLP ] TYPES, 1999, pp:1-20 [Conf ] Andreas Abel , Thorsten Altenkirch A Predicative Strong Normalisation Proof for a lambda-Calculus with Interleaving Inductive Types. [Citation Graph (0, 0)][DBLP ] TYPES, 1999, pp:21-40 [Conf ] Steffen van Bakel , Franco Barbanera , Maribel Fernández Polymorphic Intersection Type Assignment for Rewrite Systems with Abstractions and beta -Rule. [Citation Graph (0, 0)][DBLP ] TYPES, 1999, pp:41-60 [Conf ] Gertrud Bauer , Markus Wenzel Computer-Assisted Mathematics at Work (The Hahn-Banach Theorem in Isabelle/Isar). [Citation Graph (0, 0)][DBLP ] TYPES, 1999, pp:61-76 [Conf ] Gustavo Betarte , Cristina Cornes , Nora Szasz , Alvaro Tasistro Specification of a Smart Card Operating System. [Citation Graph (0, 0)][DBLP ] TYPES, 1999, pp:77-93 [Conf ] Paul Callaghan , Zhaohui Luo Implementation Techniques for Inductive Types in Plastic. [Citation Graph (0, 0)][DBLP ] TYPES, 1999, pp:94-113 [Conf ] Alberto Ciaffaglione , Pietro Di Gianantonio A Co-inductive Approach to Real Numbers. [Citation Graph (0, 0)][DBLP ] TYPES, 1999, pp:114-130 [Conf ] David Delahaye Information Retrieval in a Coq Proof Library Using Type Isomorphisms. [Citation Graph (0, 0)][DBLP ] TYPES, 1999, pp:131-147 [Conf ] Healfdene Goguen , Richard Brooksby , Rod M. Burstall Memory Management: An Abstract Formulation of Incremental Tracing. [Citation Graph (0, 0)][DBLP ] TYPES, 1999, pp:148-161 [Conf ] Micaela Mayero The Three Gap Theorem (Steinhaus Conjecture). [Citation Graph (0, 0)][DBLP ] TYPES, 1999, pp:162-173 [Conf ] Qiao Haiyan Formalising Formulas-as-Types-as-Objects. [Citation Graph (0, 0)][DBLP ] TYPES, 1999, pp:174-193 [Conf ]