UID:
almahu_9947920565802882
Format:
VIII, 197 p.
,
online resource.
ISBN:
9783540445579
Series Statement:
Lecture Notes in Computer Science, 1956
Note:
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.
In:
Springer eBooks
Additional Edition:
Printed edition: ISBN 9783540415176
Language:
English
DOI:
10.1007/3-540-44557-9
URL:
http://dx.doi.org/10.1007/3-540-44557-9
