Types for Proofs and Programs | International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers. This item is unavailable.
Language: English
Published by Springer, 1999
- Softcover
- New
Item image 1 of 2.
Seller: preigu, Osnabrück, Germanypreigu
5-star seller
AbeBooks seller since August 5, 2024
Unavailable
Softcover
Condition: New
US$ 59.71
Item description from seller
Types for Proofs and Programs | International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers | Thorsten Altenkirch (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 1999 | Springer | EAN 9783540665373 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu Print on Demand.
Seller Inventory # 101869130
- Title
- Types for Proofs and Programs | International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers
- Author
- Thorsten Altenkirch (u. a.)
- Publisher
- Springer
- Publication year
- 1999
- Condition
- Neu
- Binding
- Taschenbuch
- Language
- English
- ISBN 10
- 3540665374
- ISBN 13
- 9783540665373
- Item weight
- 341 grams
- Dimensions
- 235 x 155 x 13 mm
- Seller catalogs
- Bücher
This book constitutes the strictly refereed post-workshop proceedings of the International Workshop on Types for Proofs and Programs, TYPES '98, held under the auspices of the ESPRIT Working Group 21900.
The 14 revised full papers presented went through a thorough process of reviewing and revision and were selected from a total of 25 candidate papers. All current aspects of type theory and type systems and their relation to proof theory are addressed.
The 14 revised full papers presented went through a thorough process of reviewing and revision and were selected from a total of 25 candidate papers. All current aspects of type theory and type systems and their relation to proof theory are addressed.
"Synopsis" may belong to another edition of this title.
Search results for Types for Proofs and Programs | International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers
There are 2 more copies of this bookView all results