Verwandte Artikel zu Types for Proofs and Programs: International Workshop,...
Types for Proofs and Programs: International Workshop, TYPES'99 Lökeberg, Sweden, June 12-16, 1999 Selected Papers: 1956 (Lecture Notes in Computer Science) - Softcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
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.
Reseña del editor
This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop, TYPES'99, organized by the ESPRIT Working Group 21900, in Lökeberg, Sweden, in June 1999.
The 11 revised full papers presented in the volume were carefully reviewed and selected during two rounds of refereeing. All current issues on type theory and type systems and their applications to programming and proof theory are addressed.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 27,54
EUR 2,30 für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & Dauer
Suchergebnisse für Types for Proofs and Programs: International Workshop,...
Beispielbild für diese ISBN
Types for Proofs and Programs
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. pp. 208. Bestandsnummer des Verkäufers 183064425
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Types for Proofs and Programs
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 208. Bestandsnummer des Verkäufers 263064419
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Types for Proofs and Programs
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. pp. 208 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Bestandsnummer des Verkäufers 5864892
Anzahl: 1 verfügbar
Foto des Verkäufers
Types for Proofs and Programs
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Specification and Verification of a Formal System for Structurally Recursive Functions.- A Predicative Strong Normalisation Proof for a ?Calculus with Interleaving Inductive Types.- Polymorphic Intersection Type Assignment for Rewrite Systems with Abstracti. Bestandsnummer des Verkäufers 4889298
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Types for Proofs and Programs : International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Bestandsnummer des Verkäufers 9783540415176
Anzahl: 1 verfügbar
Foto des Verkäufers
Types for Proofs and Programs
ISBN 10: 3540415173
ISBN 13: 9783540415176
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 pp. Englisch. Bestandsnummer des Verkäufers 9783540415176
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Types for Proofs and Programs: International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers (Lecture Notes in Computer Science, 1956)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9783540415176_new
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Types for Proofs and Programs : International Workship, Types '99 Lokeberg, Sweden, June 12-16, 1999, Selected Papers
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 1712740-n
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Types for Proofs and Programs : International Workshop, TYPES'99, Lokeberg, Sweden, June 12-16, 1999, Selected Papers
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
PF. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9783540415176
Anzahl: 10 verfügbar
Beispielbild für diese ISBN
Types for Proofs and Programs: International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers (Lecture Notes in Computer Science, 1956)
Anbieter: Best Price, Torrance, CA, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. SUPER FAST SHIPPING. Bestandsnummer des Verkäufers 9783540415176
Anzahl: 1 verfügbar