default search action

combined dblp search
author search
venue search
publication search

ask others

TYPES 1994: Båstad, Sweden

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/1994
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/1994
Peter Dybjer, Bengt Nordström, Jan M. Smith:
Types for Proofs and Programs, International Workshop TYPES'94, Båstad, Sweden, June 6-10, 1994, Selected Papers. Lecture Notes in Computer Science 996, Springer 1995, ISBN 3-540-60579-7
- view
  authority control:
- export record
  dblp key:
  - conf/types/Ahn94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Ahn94
René M. C. Ahn:
Communication Contexts: a Pragmatic Approach to Information Exchange. 1-13
- view
  authority control:
- export record
  dblp key:
  - conf/types/Geuvers94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Geuvers94
Herman Geuvers:
A short and flexible proof of Strong Normalization for the Calculus of Constructions. 14-38
- view
  authority control:
- export record
  dblp key:
  - conf/types/Gimenez94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Gimenez94
Eduardo Giménez:
Codifying Guarded Definitions with Recursive Schemes. 39-59
- view
  authority control:
- export record
  dblp key:
  - conf/types/Goguen94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Goguen94
Healfdene Goguen:
The Metatheory of UTT. 60-82
- view
  authority control:
- export record
  dblp key:
  - conf/types/Manoury94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Manoury94
Pascal Manoury:
A User's Friendly Syntax to Define Recursive Functions as Typed lambda-Terms. 83-100
- view
  authority control:
- export record
  dblp key:
  - conf/types/NipkowS94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/NipkowS94
Tobias Nipkow, Konrad Slind:
I/Q Automata in Isabelle/HOL. 101-119
- view
  authority control:
- export record
  dblp key:
  - conf/types/Paulson94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Paulson94
Lawrence C. Paulson:
A Concrete Final Coalgebra Theorem for ZF Set Theory. 120-139
- view
  authority control:
- export record
  dblp key:
  - conf/types/Pollack94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Pollack94
Robert Pollack:
On Extensibility of Proof Checkers. 140-161
- view
  authority control:
- export record
  dblp key:
  - conf/types/Ranta94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Ranta94
Aarne Ranta:
Syntactic Categories in the Language of Mathematics. 162-182
- view
  authority control:
- export record
  dblp key:
  - conf/types/Saibi94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Saibi94
Amokrane Saïbi:
Formalization of a lamda-Calculus with Explicit Substitutions in Coq. 183-202

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.