default search action

combined dblp search
author search
venue search
publication search

ask others

TYPES 1998: Kloster Irsee, Germany

> Home > Conferences and Workshops > TYPES

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/types/1998
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/1998
Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus:
Types for Proofs and Programs, International Workshop TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers. Lecture Notes in Computer Science 1657, Springer 1999, ISBN 3-540-66537-4
- view
  authority control:
- export record
  dblp key:
  - conf/types/Aczel98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Aczel98
Peter Aczel:
On Relating Type Theories and Set Theories. 1-18
- view
  authority control:
- export record
  dblp key:
  - conf/types/AhnB98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/AhnB98
René M. C. Ahn, Tijn Borghuis:
Communication Modelling and Context-Dependent Interpretation: An Integrated Approach. 19-32
- view
  authority control:
- export record
  dblp key:
  - conf/types/CoquandP98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/CoquandP98
Thierry Coquand, Henrik Persson:
Gröbner Bases in Type Theory. 33-46
- view
  authority control:
- export record
  dblp key:
  - conf/types/DespeyrouxL98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/DespeyrouxL98
Joëlle Despeyroux, Pierre Leleu:
A Modal Lambda Calculus with Iteration and Case Constructs. 47-61
- view
  authority control:
- export record
  dblp key:
  - conf/types/DowekW98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/DowekW98
Gilles Dowek, Benjamin Werner:
Proof Normalization Modulo. 62-77
- view
  authority control:
- export record
  dblp key:
  - conf/types/Filliatre98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Filliatre98
Jean-Christophe Filliâtre:
Proof of Imperative Programs in Type Theory. 78-92
- view
  authority control:
- export record
  dblp key:
  - conf/types/Fridlender98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Fridlender98
Daniel Fridlender:
An Interpretation of the Fan Theorem in Type Theory. 93-105
- view
  authority control:
- export record
  dblp key:
  - conf/types/Goubault-Larrecq98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Goubault-Larrecq98
Jean Goubault-Larrecq:
Conjunctive Types and SKInT. 106-120
- view
  authority control:
- export record
  dblp key:
  - conf/types/Kammuller98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Kammuller98
Florian Kammüller:
Modular Structures as Dependent Types in Isabelle. 121-132
- view
  authority control:
- export record
  dblp key:
  - conf/types/Kleymann98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Kleymann98
Thomas Kleymann:
Metatheory of Verification Calculi in LEGO - To what Extent Does Syntax Matter? 133-148
- view
  authority control:
- export record
  dblp key:
  - conf/types/Liquori98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Liquori98
Luigi Liquori:
Bounded Polymorphism for Extensible Objects. 149-163
- view
  authority control:
- export record
  dblp key:
  - conf/types/Maietti98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Maietti98
Maria Emilia Maietti:
About Effective Quotients in Constructive Type Theory. 164-178
- view
  authority control:
- export record
  dblp key:
  - conf/types/PfenningS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/PfenningS98
Frank Pfenning, Carsten Schürmann:
Algorithms for Equality and Unification in the Presence of Notational Definitions. 179-193
- view
  authority control:
- export record
  dblp key:
  - conf/types/SambinG98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/SambinG98
Giovanni Sambin, Silvia Gebellato:
A Preview of the Basic Picture: A New Perspective on Formal Topology. 194-207

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.