TY  - BOOK
AU  - Altenkirch,Thorsten
AU  - Reus,Bernhard
AU  - Naraschewski,Wolfgang
ED  - SpringerLink (Online service)
TI  - Types for Proofs and Programs: International Workshop, TYPES’ 98 Kloster Irsee, Germany, March 27–31, 1998 Selected Papers 
T2  - Lecture Notes in Computer Science,
SN  - 9783540481676
AV  - QA76.9.L63 
U1  - 005.1015113 23
PY  - 1999///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Logic design
KW  - Artificial intelligence
KW  - Computer Science
KW  - Logics and Meanings of Programs
KW  - Mathematical Logic and Formal Languages
KW  - Programming Languages, Compilers, Interpreters
KW  - Artificial Intelligence (incl. Robotics)
N1  - 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
UR  - http://dx.doi.org/10.1007/3-540-48167-2
ER  -