Types for proofs and programs : International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers / / Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus, editors
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Types for proofs and programs : International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers / / Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus, editors
|
| Pubblicazione: | Berlin ; ; Heidelberg : , : Springer, , [1999] |
| ©1999 | |
| Edizione: | 1st ed. 1999. |
| Descrizione fisica: | 1 online resource (VIII, 212 p.) |
| Disciplina: | 004.015113 |
| Soggetto topico: | Automatic theorem proving |
| Type theory | |
| Altri autori: |
AltenkirchThorsten <1962->
NaraschewskiWolfgang <1970->
ReusBernhard <1965->
|
| Note generali: | Bibliographic Level Mode of Issuance: Monograph |
| Nota di bibliografia: | Includes bibliographical references. |
| Nota di contenuto: | 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. |
| Titolo autorizzato: | Types for proofs and programs |
| ISBN: | 3-540-48167-2 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 996465848203316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |
Serie:
Lecture notes in computer science ; ; 1657.