Code: 05273949

Types for Proofs and Programs

Name: Types for Proofs and Programs
Brand: Springer, Berlin
SKU: 05273949
Price: 61.35 EUR
Availability: InStock

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

Language: English
Binding: Paperback
Number of pages: 202
Publisher: Springer, Berlin, 2000
More about this

61.35 €

Low in stock at our supplier
Shipping in 13 - 16 days

Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.

Add to wishlist

Close Range : Brokeback Mountain
9.56 € -28 %
Buy
Iggy Pop: Open Up and Bleed
15.10 € -20 %
Buy
Pakt der Rache, 1 DVD
12.69 €
Buy
Das Glück der anderen
11.17 € -9 %
Buy
Algorithms and Computation
120.90 €
Buy
"Gut, dass Sie da sind!"
6.44 €
Buy
Abroad for Her Country
24.88 € -18 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

You get 154 loyalty points

Book synopsis

This book contains a selection of papers presented at the third annual workshop of the Esprit Working Group 21900 Types, which was held 12 - 16 June 1999 at L okeberg in the rural area north of G oteborg and close to Marstrand. It was attended by 77 researchers. The two previous workshops of the working group were held in Aussois, France, in December 1996 and in Irsee, Germany, in March 1998. The proc- dings of those workshops appear as LNCS Vol. 1512 (edited by Christine Paulin- Mohring and Eduardo Gimenez) and LNCS Vol. 1657 (edited by Thorsten - tenkirch, Wolfgang Naraschewski, and Bernhard Reus). These workshops are, in turn, a continuation of the meetings organized in 1993, 1994, and 1995 under the auspices of the Esprit Basic Research Action 6453 Types for Proofs and Programs. Those proceedings were also published in the LNCS series, edited by Henk Barendregt and Tobias Nipkow (Vol. 806, 1993), by Peter Dybjer, Bengt Nordstr om, and Jan Smith (Vol. 996, 1994) and by Stefano Berardi and Mario Coppo (Vol. 1158, 1995). The Esprit BRA 6453 was a continuation of the former Esprit Action 3245 Logical Frameworks: - sign, Implementation and Experiments. The articles from the annual workshops organized under that Action were edited by Gerard Huet and Gordon Plotkin in the books Logical Frameworks and Logical Environments, both published by Cambridge University Press.

Book details

Book category Books in English Computing & information technology Computer programming / software development Programming & scripting languages: general

61.35 €

Full title: Types for Proofs and Programs
Subtitle: International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers
Author: Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith
Language: English
Binding: Paperback
Number of pages: 202
EAN: 9783540415176
ISBN: 3540415173
ID: 05273949
Publisher: Springer, Berlin
Weight: 299 g
Dimensions: 235 × 155 × 11 mm
Published: 2000