Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 69.99 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

Types for Proofs and Programs

International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

Language EnglishEnglish
Book Paperback
Book Types for Proofs and Programs Thorsten Altenkirch
Libristo code: 01569105
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, October 2007
This book constitutes the thoroughly refereed post-proceedings of the annual International Workshop... Full description
? points 148 b
61.22 €
119.73  лв
Low in stock at our supplier Shipping in 13-18 days

Up to 30 days for returns

Customers also purchased

LES AVENTURES DE TEX : 8. LA FONTAINE DE JOUVENCE GIUSFREDI GIORGIO Book Hardback
common.buy 27.34 € 53.48 лв
Lecturas para estrenarse en psicología GEMMA Y OTROS PEIRO BALLESTIN / Book Paperback
common.buy 20.20 € 39.50 лв
Piratería en la antigüedad : un ensayo sobre historia del Mediterráneo Henry Ardene Ormerod / Book Paperback
common.buy 26.00 € 50.85 лв
MAPA TOP 25 SIERRA Y CAÑONES DE GUARA II ZONA ORIENTAL PRAMES / Book Paperback
common.buy 16.16 € 31.60 лв
Comentarios a la constitución "Gaudium et spes" Ángel Herrera Oria / Book Hardback
common.buy 21.23 € 41.52 лв
Como Animar um Capricorniano Mary English / Book Paperback
common.buy 27.50 € 53.78 лв
Limitsiz Yasam Nick Vujicic / Book Paperback
common.buy 11.80 € 23.09 лв
Cómo ser más rápido Victor Reis / Book Paperback
common.buy 47.18 € 92.28 лв
SparkofPhoenix: 200 Dinge in Minecraft, die du noch nicht wusstest SparkofPhoenix / Book Paperback
common.buy 13.31 € 26.02 лв
Die Bedeutung von Musik für Kinder in ihrer Entwicklung und in ihrem lebensweltlichen Kontext Monika Jenke / Book Paperback
common.buy 26.57 € 51.96 лв
Extraits de margousier (Azadirachta indica A. Juss) pour le traitement des semences Ruth Abreu Araújo / Book Paperback
common.buy 37.81 € 73.94 лв
Nimetoka Italia ! L'Epopea Dei Volontari e Missionari Italiani Nella Guerra D'uganda con Francesca Faramondi / Book Paperback
common.buy 19.94 € 38.99 лв
Sur le jeu d'acteur Meisner SANFORD / Book Paperback
common.buy 31.23 € 61.08 лв
El hombre que se habita Adriano Meschi / Book Paperback
common.buy 17.81 € 34.84 лв
Aviones de papel EQUIPO SUSAETA / Book Spiral bound
common.buy 3.57 € 6.98 лв
Trainingslehre 2 Christopher Curry / Book Paperback
common.buy 15.27 € 29.87 лв
Escape Rooms für zu Hause selbst gestalten Christine Sinnwell-Backes / Book Paperback
common.buy 9.16 € 17.92 лв
Deathbook Curval / Book Paperback
common.buy 5.49 € 10.73 лв
PORTRAIT D'UN MILLIARDAIRE MALHEUREUX BOSQUET / Book Paperback
common.buy 89.97 € 175.96 лв
Thematische woordenschat Nederlands-Afrikaans - 9000 woorden Andrey Taranov / Book Paperback
common.buy 15.69 € 30.69 лв
Cours Complet Par Correspondance. Tome 14 / Book Paperback
common.buy 13.72 € 26.84 лв
Coming soon
Mein Mississippi ist die Lahn Regina Appel / Book Paperback
common.buy 10.56 € 20.66 лв
IT-Sicherheit in Industrie 4.0 Harald Schöning / Book Paperback
common.buy 40.24 € 78.70 лв
narrativa de las diasporas caribenas Fernandez Merino Mireya / Book Paperback
common.buy 74.53 € 145.77 лв

This book constitutes the thoroughly refereed post-proceedings of the annual International Workshop of the Types Working Group, TYPES 2006, held in Nottingham, UK in April 2006 - co-located with the Seventh Symposium on Trends in Functional Programming, TFP 2006.§The 17 revised full papers presented were carefully reviewed and selected from 29 submissions. All current issues of formal reasoning and computer programming based on type theory are addressed; in particular languages and computerised tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalisation of mathematics and mathematics education.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Types for Proofs and Programs
Author Thorsten Altenkirch, Conor McBride
Language English
Binding Book - Paperback
Date of issue 2007
Number of pages 272
EAN 9783540744634
ISBN 3540744630
Libristo code 01569105
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 900
Dimensions 155 x 235 x 18

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Internet of Things, Smart Spaces, and Next Generation Networking Sergey Andreev / Book Paperback
common.buy 54.48 € 106.56 лв
Radiation and Cellular Control Processes J. Kiefer / Book Paperback
common.buy 108.72 € 212.63 лв
The Law of Bills of Sale: With an Appendix of Precedents and Statutes / By George Edward Lyon and Joseph Haworth Redman. George Edward Lyon / Book Paperback
common.buy 22.99 € 44.97 лв
Opinionated Guide To London Green Spaces Marco Kesseler / Book Paperback
common.buy 11.44 € 22.38 лв
100 First Dinosaur Words DK / Book Board book
common.buy 10.30 € 20.15 лв
Toddler Triumphs: Potty Superstar Pat-a-Cake / Book Board book
common.buy 9.27 € 18.12 лв
Brush with the Chinese and What Came of it G. A. Henty / Book Hardback
common.buy 15.74 € 30.79 лв
Some Brief Remarks upon Sundry Important Subjects John Griffith / Book Paperback
common.buy 16.16 € 31.60 лв
The Top 50 Underrated NFL Wide Receivers MR Rashad Skyla Mitchell / Book Paperback
common.buy 6.73 € 13.16 лв
60 Subtraction Worksheets with 2-Digit Minuends, 2-Digit Subtrahends: Math Practice Workbook Kapoo Stem / Book Paperback
common.buy 13.10 € 25.62 лв
Gustavus Adolphus: The Life and Legacy of Sweden's Most Famous King Charles River Editors / Book Paperback
common.buy 11.39 € 22.28 лв
Cultures of Sustainability and Wellbeing Paola Spinozzi / Book Hardback
common.buy 244.68 € 478.55 лв
Firefly Wildlife Atlas: A Comprehensive Guide to Animal Habitats John Farndon / Book Paperback
common.buy 15.17 € 29.67 лв
What Does the Referee Do? Margaret MacDonald / Book Paperback
common.buy 8.75 € 17.11 лв
Champ Ferguson Thurman Sensing / Book Paperback
common.buy 46.87 € 91.67 лв
Now That Baby Is Home William Sears / Book Paperback
common.buy 13.98 € 27.34 лв
A Home for Mr. Emerson Barbara Kerley / Book Hardback
common.buy 15.07 € 29.47 лв
Prosperity And How It Must Come: Economic Facts For Workers And Preachers (1914) Roger Ward Babson / Book Paperback
common.buy 23.15 € 45.27 лв
Boo! Baa, La La La! Sandra Boynton / Book Board book
common.buy 6.99 € 13.67 лв
App and Website Accessibility Developments and Compliance Strategies Yakup Akgül / Book Hardback
common.buy 273.01 € 533.97 лв
Essential Touring Car RC Racer's Guide Dave B Stevens / Book Paperback
common.buy 41.54 € 81.24 лв
Clostridioides difficile Infection Guido Granata / Book Hardback
common.buy 45.52 € 89.04 лв
Citadel C. M. Alongi / Book Hardback
common.buy 22.42 € 43.85 лв
Bob + Barb Present... Books! Books!! Books!!! Bob and Barb Studios / Book Hardback
common.buy 23.36 € 45.68 лв

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?