Types for proofs and programs : international workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers
Enregistré dans:
| Collectivité auteur: | |
|---|---|
| Autres auteurs: | , , |
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Collection: | Lecture notes in computer science
1657 |
| Sujets: | |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Types for proofs and programs, international workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, selected papers, Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus (eds.), 1999, New York, Springer, 1 vol. (VIII-207 p.), Lecture notes in computer science, 3-540-66537-4 • Types for Proofs and Programs, Texte imprimé, 9783662163665 |
Table des matières:
- On Relating Type Theories and Set Theories
- Communication Modelling and Context-Dependent Interpretation: An Integrated Approach
- Gröbner Bases in Type Theory
- A Modal Lambda Calculus with Iteration and Case Constructs
- Proof Normalization Modulo
- Proof of Imperative Programs in Type Theory
- An Interpretation of the Fan Theorem in Type Theory
- Conjunctive Types and SKInT
- Modular Structures as Dependent Types in Isabelle
- Metatheory of Verification Calculi in LEGO
- Bounded Polymorphism for Extensible Objects
- About Effective Quotients in Constructive Type Theory
- Algorithms for Equality and Unification in the Presence of Notational Definitions
- A Preview of the Basic Picture: A New Perspective on Formal Topology.