The social marketplace for new and used books.

Get started

Learn to sell
Learn to buy
Buy textbooks
Sign up
Buy a giftcard
For the authors

Support

Help
Track a shipment
Terms of use
Privacy policy
Cookies policy

Company

About us
Work with us
Give feedback
Categories

Contact us

Fast delivery with

Safe payments by

Visa
Mastercard
Vipps
Klarna

© 2026 Bookis AS

English

Types for proofs and programs : international workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002 : selected papers

Paperback • 2003 • Norwegian Bokmål

Types for proofs and programs : international workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002 : selected papers

By Peter Wessel Zapffe

0 Ratings • 0.0 of 5

‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌

About the book

These proceedings contain a refereed selection of papers presented at the Second Annual Workshop of the Types Working Group (Computer-Assisted Reasoning based on Type Theory, EUIST project 29001), which was held April 24-28, 2002 in Hotel Erica, Berg en Dal (close to Nijmegen), The Netherlands. The workshop was attended by about 90 researchers. On April 27, there was a special afternoon celebrating the 60th birthday of Per Martin-Lof, one of the founding fathers of the Types community. The after...Show more

Book details

ISBN

9783540140313

Publisher

Berlin : Springer

Published year

2003

Language

Norwegian Bokmål

Original title

Types for proofs and programs : international workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002 : selected papers

Format

Paperback

Shippping and returns

Shipping

Used books are shipped by the seller. Expected delivery after package is sent is 2-4 days.

Returns

Contact the seller after delivery.

Reviews · 0

0 Ratings • 0.0 of 5

You might also like

An Introduction to European Law

An Introduction to European Law

Robert Schütze

Application and Theory of Petri Nets and Concurrency 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings

Application and Theory of Petri Nets and Concurrency 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings

Luca Bernardinello

The Murder of Professor Schlick The Rise and Fall of the Vienna Circle

The Murder of Professor Schlick The Rise and Fall of the Vienna Circle

David Edmonds

Software Languages

Software Languages

Ralf Lammel

Theological hermeneutics development and sign…

Theological hermeneutics development and sign…

Werner Jeanrond

Innovation, Complexity and Policy: Contributions from 30 years of innovation policy research in Austria

Innovation, Complexity and Policy: Contributions from 30 years of innovation policy research in Austria

Matthias Weber

Introduction to Logic

Introduction to Logic

SJ Gensler Harry J.

Introduction To Mathematical Logic (Extended Edition)

Introduction To Mathematical Logic (Extended Edition)

Norway) Walicki Michal (Univ Of Bergen

Europarechts Textausgabe 24

Europarechts Textausgabe 24

Von Prof.

AHO Works

AHO Works

Rachel K.B. Teite

Literary Theory The Basics

Literary Theory The Basics

Johannes Willem Bertens

Studia

Studia

Stefan Alfelt

The Complete Brecht Toolkit

The Complete Brecht Toolkit

Stephen Unwin

Proof and Proving in Mathematics Education

Proof and Proving in Mathematics Education

Gila Hanna

Sociolinguistic Typology

Sociolinguistic Typology

Peter <plass>

Type Navigator The Independent Foundries Handbook

Type Navigator The Independent Foundries Handbook

Jan Middendorp

Teaching and Learning Proof Across the Grades A K-16 Perspective

Teaching and Learning Proof Across the Grades A K-16 Perspective

Despina A. Stylianou

Language attitudes, standardization and language change

Language attitudes, standardization and language change

Marie Maegaard

Let Over Lambda

Let Over Lambda

Doug Hoyte

Literary Theory

Literary Theory

Hans Bertens

Formal logic - a guided tour

Formal logic - a guided tour

Herman Ruge Jervell

Das Hansische Kontor zu Bergen und die Lübecker Bergenfahrer : international workshop Lübeck 2003

Das Hansische Kontor zu Bergen und die Lübecker Bergenfahrer : international workshop Lübeck 2003

Philosophy of law (second edition)

Philosophy of law (second edition)

Mark Tebbitt

Advanced Topics in Types and Programming Languages

Advanced Topics in Types and Programming Languages

The Haskell Road to Logic, Maths and Programming. Second Edition (Texts in Computing)

The Haskell Road to Logic, Maths and Programming. Second Edition (Texts in Computing)

Kees Doets

Studia 2002

Studia 2002

Dag Christensen

Syntactic Theory A Formal Introduction

Syntactic Theory A Formal Introduction

Ivan A. Sag

Stop Stealing Sheep & Find Out how Type Works

Stop Stealing Sheep & Find Out how Type Works

Erik Spiekermann

Handbook of Contemporary Syntactic Theory

Handbook of Contemporary Syntactic Theory

Mark (EDT) Baltin

The Languages of Logic - An Introduction to Formal Logic

The Languages of Logic - An Introduction to Formal Logic

Samuel Guttenplan

Et liv på mange vis

Et liv på mange vis

Inga Bostad

Pattern Languages of Program Design 3

Pattern Languages of Program Design 3

Martin, Robert

The elements of typographic style

The elements of typographic style

Bringhurst, Robert

The Language of First-Order Logic

The Language of First-Order Logic

Jon Barwise

Formal Logic

Formal Logic

Jeffrey, Richard C.

Formal Description Techniques

Formal Description Techniques

K.J. Turner

Selected Papers in Logic and Foundations, Didactics, Economics

Selected Papers in Logic and Foundations, Didactics, Economics

Karl Menger

Peter Wessel Zapffe Dikt og drama

Peter Wessel Zapffe Dikt og drama

Guttorm Fløistad

Tonsatzlehre

Tonsatzlehre

Waldemar Bloch