Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2000

Types for Proofs and Programs

International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers

Editors:

  1. Thierry Coquand

    1. Department of Computing Science, Chalmers University of Technology and University of Göteborg, Göteborg, Sweden

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Peter Dybjer

    1. Department of Computing Science, Chalmers University of Technology and University of Göteborg, Göteborg, Sweden

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Bengt Nordström

    1. Department of Computing Science, Chalmers University of Technology and University of Göteborg, Göteborg, Sweden

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Jan Smith

    1. Department of Computing Science, Chalmers University of Technology and University of Göteborg, Göteborg, Sweden

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1956)

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (11 papers)

  1. Front Matter

    Pages I-VI
    PDF

  4. Polymorphic Intersection Type Assignment for Rewrite Systems with Abstraction and β-Rule

    • Steffen van Bakel, Franco Barbanera, Maribel Fernández
    Pages 41-60

  5. Computer-Assisted Mathematics at Work

    • Gertrud Bauer, Markus Wenzel
    Pages 61-76

  6. Specification of a Smart Card Operating System

    • Gustavo Betarte, Cristina Cornes, Nora Szasz, Alvaro Tasistro
    Pages 77-93

  7. Implementation Techniques for Inductive Types in Plastic

    • Paul Callaghan, Zhaohui Luo
    Pages 94-113

  8. A Co-inductive Approach to Real Numbers

    • Alberto Ciaffaglione, Pietro Di Gianantonio
    Pages 114-130

  10. Memory Management: An Abstract Formulation of Incremental Tracing

    • Healfdene Goguen, Richard Brooksby, Rod Burstall
    Pages 148-161

  11. The Three Gap Theorem (Steinhaus Conjecture)

    • Micaela Mayero
    Pages 162-173

  12. Formalising Formulas-as-Types-as-Objects

    • Qiao Haiyan
    Pages 174-193

  13. Back Matter

    Pages 195-195
    PDF
Back to top

Keywords

Back to top

Editors and Affiliations

  • Department of Computing Science, Chalmers University of Technology and University of Göteborg, Göteborg, Sweden

    Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation