E-Book, Englisch, 272 Seiten, eBook
Altenkirch / McBride Types for Proofs and Programs
2007
ISBN: 978-3-540-74464-1
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
E-Book, Englisch, 272 Seiten, eBook
Reihe: Theoretical Computer Science and General Issues
ISBN: 978-3-540-74464-1
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
Weyl’s Predicative Classical Mathematics as a Logic-Enriched Type Theory.- Crafting a Proof Assistant.- On Constructive Cut Admissibility in Deduction Modulo.- Fast Reflexive Arithmetic Tactics the Linear Case and Beyond.- Combining de Bruijn Indices and Higher-Order Abstract Syntax in Coq.- Deciding Equality in the Constructor Theory.- A Formalisation of a Dependently Typed Language as an Inductive-Recursive Family.- Truth Values Algebras and Proof Normalization.- Curry-Style Types for Nominal Terms.- (In)consistency of Extensions of Higher Order Logic and Type Theory.- Constructive Type Classes in Isabelle.- Zermelo’s Well-Ordering Theorem in Type Theory.- A Finite First-Order Theory of Classes.- Coinductive Correctness of Homographic and Quadratic Algorithms for Exact Real Numbers.- Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs.- Subset Coercions in Coq.- A Certified Distributed Security Logic for Authorizing Code.
