1 option
Types for Proofs and Programs : International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers / edited by Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus.
LIBRA Q341 .P7 2004
Available from offsite location
- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- Lecture notes in computer science 0302-9743 ; 1657.
- Lecture Notes in Computer Science, 0302-9743 ; 1657
- Language:
- English
- Subjects (All):
- Computers.
- Computer logic.
- Logic, Symbolic and mathematical.
- Programming languages (Electronic computers).
- Artificial intelligence.
- Theory of Computation.
- Logics and Meanings of Programs.
- Mathematical Logic and Formal Languages.
- Programming Languages, Compilers, Interpreters.
- Artificial Intelligence.
- Local Subjects:
- Theory of Computation.
- Logics and Meanings of Programs.
- Mathematical Logic and Formal Languages.
- Programming Languages, Compilers, Interpreters.
- Artificial Intelligence.
- Physical Description:
- 1 online resource (VIII, 212 pages).
- Edition:
- First edition 1999.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999.
- System Details:
- text file PDF
- Contents:
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-48167-6
- 9783540481676
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.