단행본 상세

서지주요정보
Types for Proofs and Programs: International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers
서명 / 저자 Types for Proofs and Programs [electronic resource] : International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers / edited by Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith.
저자명 Coquand, Thierry. editor. edt http://id.loc.gov/vocabulary/relators/edt ; Dybjer, Peter. editor. edt http://id.loc.gov/vocabulary/relators/edt ; Nordström, Bengt. editor. edt http://id.loc.gov/vocabulary/relators/edt ; Smith, Jan. editor. edt http://id.loc.gov/vocabulary/relators/edt
단체명 SpringerLink (Online service)
판사항 1st ed. 2000.
발행사항 Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
총서명 Lecture Notes in Computer Science, 1611-3349 ; 1956
Online Access https://doi.org/10.1007/3-540-... URL

서지기타정보

서지기타정보
ISBN 9783540445579
기타 표준번호 10.1007/3-540-44557-9
청구기호 QA76.76.C65
형태사항 VIII, 197 p. online resource.
언어 English
내용 Specification and Verification of a Formal System for Structurally Recursive Functions -- A Predicative Strong Normalisation Proof for a ?Calculus with Interleaving Inductive Types -- Polymorphic Intersection Type Assignment for Rewrite Systems with Abstraction and ?-Rule -- Computer-Assisted Mathematics at Work -- Specification of a Smart Card Operating System -- Implementation Techniques for Inductive Types in Plastic -- A Co-inductive Approach to Real Numbers -- Information Retrieval in a Coq Proof Library Using Type Isomorphisms -- Memory Management: An Abstract Formulation of Incremental Tracing -- The Three Gap Theorem (Steinhaus Conjecture) -- Formalising Formulas-as-Types-as-Objects.
주제 Compilers (Computer programs).
Computer science.
Machine theory.
Artificial intelligence.
Mathematical logic.
Compilers and Interpreters.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Artificial Intelligence.
Mathematical Logic and Foundations.
보유판 및 특별호 저록 Springer Nature eBook
Printed edition: 9783662201015 Printed edition: 9783540415176
QR CODE