default search action

combined dblp search
author search
venue search
publication search

ask others

TYPES 2000: Durham, UK

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> 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/2000
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/2000
Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack:
Types for Proofs and Programs, International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000, Selected Papers. Lecture Notes in Computer Science 2277, Springer 2002, ISBN 3-540-43287-6
- view
  authority control:
- export record
  dblp key:
  - conf/types/AczelG00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/AczelG00
Peter Aczel, Nicola Gambino:
Collection Principles in Dependent Type Theory. 1-23
- view
  authority control:
- export record
  dblp key:
  - conf/types/BerghoferN00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/BerghoferN00
Stefan Berghofer, Tobias Nipkow:
Executing Higher Order Logic. 24-40
- view
  authority control:
- export record
  dblp key:
  - conf/types/CiaffaglioneG00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/CiaffaglioneG00
Alberto Ciaffaglione, Pietro Di Gianantonio:
A Tour with Constructive Real Numbers. 41-52
- view
  authority control:
- export record
  dblp key:
  - conf/types/CoquandT00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/CoquandT00
Thierry Coquand, Makoto Takeyama:
An Implementation of Type: Type. 53-62
- view
  authority control:
- export record
  dblp key:
  - conf/types/FairtloughM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/FairtloughM00
Matt Fairtlough, Michael Mendler:
On the Logical Content of Computational Type Theory: A Solution to Curry's Problem. 63-78
- view
  authority control:
- export record
  dblp key:
  - conf/types/GeuversN00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/GeuversN00
Herman Geuvers, Milad Niqui:
Constructive Reals in Coq: Axioms and Categoricity. 79-95
- view
  authority control:
- export record
  dblp key:
  - conf/types/GeuversWZ00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/GeuversWZ00
Herman Geuvers, Freek Wiedijk, Jan Zwanenburg:
A Constructive Proof of the Fundamental Theorem of Algebra without Using the Rationals. 96-111
- view
  authority control:
- export record
  dblp key:
  - conf/types/Goguen00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Goguen00
Healfdene Goguen:
A Kripke-Style Model for the Admissibility of Structural Rules. 112-124
- view
  authority control:
- export record
  dblp key:
  - conf/types/HayashiN00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/HayashiN00
Susumu Hayashi, Masahiro Nakata:
Towards Limit Computable Mathematics. 125-144
- view
  authority control:
- export record
  dblp key:
  - conf/types/Johannisson00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Johannisson00
Kristofer Johannisson:
Formalizing the Halting Problem in a Constructive Type Theory. 145-159
- view
  authority control:
- export record
  dblp key:
  - conf/types/Longo00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Longo00
Giuseppe Longo:
On the Proofs of Some Formally Unprovable Propositions and Prototype Proofs in Type Theory. 160-180
- view
  authority control:
- export record
  dblp key:
  - conf/types/MagaudB00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/MagaudB00
Nicolas Magaud, Yves Bertot:
Changing Data Structures in Type Theory: A Study of Natural Numbers. 181-196
- view
  authority control:
- export record
  dblp key:
  - conf/types/McBride00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/McBride00
Conor McBride:
Elimination with a Motive. 197-216
- view
  authority control:
- export record
  dblp key:
  - conf/types/Pons00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Pons00
Olivier Pons:
Generalization in Type Theory Based Proof Assistants. 217-232
- view
  authority control:
- export record
  dblp key:
  - conf/types/Seisenberger00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Seisenberger00
Monika Seisenberger:
An Inductive Version of Nash-Williams' Minimal-Bad-Sequence Argument for Higman's Lemma. 233-242

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.