02709oam 2200601 450 99646584820331620210716142137.03-540-48167-210.1007/3-540-48167-2(CKB)1000000000211114(SSID)ssj0000327466(PQKBManifestationID)11245707(PQKBTitleCode)TC0000327466(PQKBWorkID)10301359(PQKB)10139598(DE-He213)978-3-540-48167-6(MiAaPQ)EBC3072208(MiAaPQ)EBC6486374(PPN)155185039(EXLCZ)99100000000021111420210716d1999 uy 0engurnn|008mamaatxtccrTypes for proofs and programs International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers /Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus, editors1st ed. 1999.Berlin ;Heidelberg :Springer,[1999]©19991 online resource (VIII, 212 p.) Lecture Notes in Computer Science ;1657Bibliographic Level Mode of Issuance: Monograph3-540-66537-4 Includes bibliographical references.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.Lecture notes in computer science ;1657.Automatic theorem provingCongressesType theoryCongressesAutomatic theorem provingType theory004.015113Altenkirch Thorsten1962-930976Naraschewski Wolfgang1970-1252366Reus Bernhard1965-934969TYPES '98MiAaPQMiAaPQUtOrBLWBOOK996465848203316Types for proofs and programs2903403UNISA