default search action

combined dblp search
author search
venue search
publication search

ask others

TYPES 1996: Aussois, France

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/1996
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/1996
Eduardo Giménez, Christine Paulin-Mohring:
Types for Proofs and Programs, International Workshop TYPES'96, Aussois, France, December 15-19, 1996, Selected Papers. Lecture Notes in Computer Science 1512, Springer 1998, ISBN 3-540-65137-3
- view
  authority control:
- export record
  dblp key:
  - conf/types/GimenezP96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/GimenezP96
Eduardo Giménez, Christine Paulin-Mohring:
Introduction. 1-8
- view
  authority control:
- export record
  dblp key:
  - conf/types/Bailey96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Bailey96
Anthony Bailey:
Coercion Synthesis in Computer Implementations of Type-Theoretic Frameworks. 9-27
- view
  authority control:
- export record
  dblp key:
  - conf/types/Barras96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Barras96
Bruno Barras:
Verification of the Interface of a Small Proof System in Coq. 28-45
- view
  authority control:
- export record
  dblp key:
  - conf/types/Cederquist96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Cederquist96
Jan Cederquist:
An Implementation of the Heine-Borel Covering Theorem in Type Theory. 46-65
- view
  authority control:
- export record
  dblp key:
  - conf/types/Prost96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Prost96
Ferruccio Damiani, Frédéric Prost:
Detecting and Removing Dead-Code using Rank 2 Intersection. 66-87
- view
  authority control:
- export record
  dblp key:
  - conf/types/Dowek96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Dowek96
Gilles Dowek:
A Type-Free Formalization of Mathematics where Proofs are Objects. 88-111
- view
  authority control:
- export record
  dblp key:
  - conf/types/Fridlender96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Fridlender96
Daniel Fridlender:
Highman's Lemma in theory. 112-133
- view
  authority control:
- export record
  dblp key:
  - conf/types/Goubault-Larrecq96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Goubault-Larrecq96
Jean Goubault-Larrecq:
A Proof of Weak Termination of Typed lambda-sigma-Calculi. 134-153
- view
  authority control:
- export record
  dblp key:
  - conf/types/Harrison96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Harrison96
John Harrison:
Proof Style. 154-172
- view
  authority control:
- export record
  dblp key:
  - conf/types/JonesLS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/JonesLS96
Alex P. Jones, Zhaohui Luo, Sergei Soloviev:
Some Algorithmic and Proof-Theoretical Aspects of Coercive Subtyping. 173-195
- view
  authority control:
- export record
  dblp key:
  - conf/types/Maenpaa96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Maenpaa96
Petri Mäenpää:
Semantical BNF. 196-215
- view
  authority control:
- export record
  dblp key:
  - conf/types/Maietti96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Maietti96
Maria Emilia Maietti:
The Internal Type Theory of a Heyting Pretopos. 216-235
- view
  authority control:
- export record
  dblp key:
  - conf/types/McBride96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/McBride96
Conor McBride:
Inverting Inductively Defined Relations in LEGO. 236-253
- view
  authority control:
- export record
  dblp key:
  - conf/types/MelliesW96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/MelliesW96
Paul-André Melliès, Benjamin Werner:
A Generic Normalisation Proof for Pure Type Systems. 254-276
- view
  authority control:
- export record
  dblp key:
  - conf/types/Monin96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Monin96
Jean-François Monin:
Proving a Real Time Algorithm for ATM in Coq. 277-293
- view
  authority control:
- export record
  dblp key:
  - conf/types/Munoz96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Munoz96
César A. Muñoz:
Dependent Types with Explicit Substitutiuons: A Meta-theoretical development. 294-316
- view
  authority control:
- export record
  dblp key:
  - conf/types/NaraschewskiN96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/NaraschewskiN96
Wolfgang Naraschewski, Tobias Nipkow:
Type Inference Verified: Algorithm W in Isabelle/HOL. 317-332
- view
  authority control:
- export record
  dblp key:
  - conf/types/Negri96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Negri96
Sara Negri:
Continous Lattices in Formal Topology. 333-353
- view
  authority control:
- export record
  dblp key:
  - conf/types/Tasistro96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Tasistro96
Alvaro Tasistro:
Abstract Insertion Sort in an Extension of Type Theory with Record Types and Subtyping. 354-372

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.