Types for Proofs and Programs, International Workshop TYPES 98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers - researchr publication

researchr

You are not signed in
Sign in
Sign up

Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus, editors, Types for Proofs and Programs, International Workshop TYPES 98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers. Volume 1657 of Lecture Notes in Computer Science, Springer, 1999.

Conference: TYPES1999

Abstract is missing.

On Relating Type Theories and Set TheoriesPeter Aczel. 1-18 [doi]

Communication Modelling and Context-Dependent Interpretation: An Integrated ApproachRené M. C. Ahn, Tijn Borghuis. 19-32 [doi]

Gröbner Bases in Type TheoryThierry Coquand, Henrik Persson. 33-46 [doi]

A Modal Lambda Calculus with Iteration and Case ConstructsJoëlle Despeyroux, Pierre Leleu. 47-61 [doi]

Proof Normalization ModuloGilles Dowek, Benjamin Werner. 62-77 [doi]

Proof of Imperative Programs in Type TheoryJean-Christophe Filliâtre. 78-92 [doi]

An Interpretation of the Fan Theorem in Type TheoryDaniel Fridlender. 93-105 [doi]

Conjunctive Types and SKInTJean Goubault-Larrecq. 106-120 [doi]

Modular Structures as Dependent Types in IsabelleFlorian Kammüller. 121-132 [doi]

Metatheory of Verification Calculi in LEGO - To what Extent Does Syntax Matter?Thomas Kleymann. 133-148 [doi]

Bounded Polymorphism for Extensible ObjectsLuigi Liquori. 149-163 [doi]

About Effective Quotients in Constructive Type TheoryMaria Emilia Maietti. 164-178 [doi]

Algorithms for Equality and Unification in the Presence of Notational DefinitionsFrank Pfenning, Carsten Schürmann. 179-193 [doi]

A Preview of the Basic Picture: A New Perspective on Formal TopologyGiovanni Sambin, Silvia Gebellato. 194-207 [doi]

runs on WebDSL