Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

TYPES 2004: Jouy-en-Josas, France

> 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/2004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/2004
Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner:
Types for Proofs and Programs, International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3839, Springer 2006, ISBN 3-540-31428-8
- view
  authority control:
- export record
  dblp key:
  - conf/types/Adams04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Adams04
Robin Adams:
Formalized Metatheory with Terms Represented by an Indexed Family of Types. 1-16
- view
  authority control:
- export record
  dblp key:
  - conf/types/AspertiGCTZ04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/AspertiGCTZ04
Andrea Asperti, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli:
A Content Based Mathematical Search Engine: Whelp. 17-32
- view
  authority control:
- export record
  dblp key:
  - conf/types/BartheT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/BartheT04
Gilles Barthe, Sabrina Tarento:
A Machine-Checked Formalization of the Random Oracle Model. 33-49
- view
  authority control:
- export record
  dblp key:
  - conf/types/Berghofer04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Berghofer04
Stefan Berghofer:
Extracting a Normalization Algorithm in Isabelle/HOL. 50-65
- view
  authority control:
- export record
  dblp key:
  - conf/types/BertotGL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/BertotGL04
Yves Bertot, Benjamin Grégoire, Xavier Leroy:
A Structured Approach to Proving Compiler Optimizations Based on Dataflow Analysis. 66-81
- view
  authority control:
- export record
  dblp key:
  - conf/types/BoveC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/BoveC04
Ana Bove, Thierry Coquand:
Formalising Bitonic Sort in Type Theory. 82-97
- view
  authority control:
- export record
  dblp key:
  - conf/types/Coen04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Coen04
Claudio Sacerdoti Coen:
A Semi-reflexive Tactic for (Sub-)Equational Reasoning. 98-114
- view
  authority control:
- export record
  dblp key:
  - conf/types/Coupet-GrimalD04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Coupet-GrimalD04
Solange Coupet-Grimal, William Delobel:
A Uniform and Certified Approach for Two Static Analyses. 115-137
- view
  authority control:
- export record
  dblp key:
  - conf/types/Grabowski04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Grabowski04
Adam Grabowski:
Solving Two Problems in General Topology Via Types. 138-153
- view
  authority control:
- export record
  dblp key:
  - conf/types/LindbladB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/LindbladB04
Fredrik Lindblad, Marcin Benke:
A Tool for Automated Theorem Proving in Agda. 154-169
- view
  authority control:
- export record
  dblp key:
  - conf/types/Mamane04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Mamane04
Lionel Elie Mamane:
Surreal Numbers in Coq. 170-185
- view
  authority control:
- export record
  dblp key:
  - conf/types/McBrideGM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/McBrideGM04
Conor McBride, Healfdene Goguen, James McKinna:
A Few Constructions on Constructors. 186-200
- view
  authority control:
- export record
  dblp key:
  - conf/types/MeyerW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/MeyerW04
Thomas Meyer, Burkhart Wolff:
Tactic-Based Optimized Compilation of Functional Programs. 201-214
- view
  authority control:
- export record
  dblp key:
  - conf/types/Michelbrink04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Michelbrink04
Markus Michelbrink:
Interfaces as Games, Programs as Strategies. 215-231
- view
  authority control:
- export record
  dblp key:
  - conf/types/Miquel04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Miquel04
Alexandre Miquel:
lamda-Z: Zermelo's Set Theory as a PTS with 4 Sorts. 232-251
- view
  authority control:
- export record
  dblp key:
  - conf/types/MorrisAM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/MorrisAM04
Peter Morris, Thorsten Altenkirch, Conor McBride:
Exploring the Regular Tree Types. 252-267
- view
  authority control:
- export record
  dblp key:
  - conf/types/Parigot04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Parigot04
Michel Parigot:
On Constructive Existence. 268-273

a service of

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.