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 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Types for Proofs and Programs

International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers

Language EnglishEnglish
Book Paperback
Book Types for Proofs and Programs Peter Dybjer
Libristo code: 05274523
Publishers Springer, Berlin, November 1994
This book presents a strictly refereed collection of revised full papers selected from the papers ac... Full description
? points 125 b
51.78 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Gömülü Samdan Stefan Zweig / Book Paperback
common.buy 10.23 €
Edemocracy & Egovernment Andreas Meier / Book Paperback
common.buy 42.56 €
Assimil Arabisch ohne Mühe heute - Lehrbuch und 1 MP3-CD Assimil Gmbh / Book Hardback
common.buy 84.72 €
Schritt für Schritt zum erfolgreichen Drehbuch Christopher Keane / Book Hardback
common.buy 21.17 €
JUJUTSU KAISEN: UN CAMINO DE ESPINAS AL AMANECER (NOVELA 2) Gege Akutami / Book Paperback
common.buy 18.84 €
Retailbanking im Spannungsfeld zwischen kurzfristigem Verkaufserfolg und langfristigem Kundennutzen Oliver U. Haas / Book Paperback
common.buy 38.40 €
Mein 24. Dezember Daniela Kunerl / Book Sheet
common.buy 19.85 €
DEPECHE MODE Edition inkl. XXL-Wandkalender 2025 + Ultra Cover-CD lim. 999 Exemplare / Book Hardback
common.buy 20.87 €
Vahi kuue paiku vahi kuue paiku. Vaata umbes kell kuus valvuri pintsaku paranduslappe Tõnu / Book Hardback
common.buy 47.83 €
Erlaubte Vorteilsannahme - 331 StGB, 70 BBG, 10 BAT. Bernhard Hardtung / Book Paperback
common.buy 70.73 €
Lyrikanalyse Natascha Bea / Book Paperback
common.buy 14.48 €
Zingaro, un théâtre pour les chevaux (titre provisoire) Pascaud / Book Paperback
common.buy 28.57 €
Waylon university. La sfida Ilsa Madden-Mills / Book Paperback
common.buy 26.14 €
LE GUIDE DU PREMIER TATOUAGE TATTOO / Book Paperback
common.buy 22.89 €
Une Histoire de Machines, de Vampires Et de Fous Pierre Cassou-Nogues / Book Paperback
common.buy 20.56 €
Los pájaros. Las ranas. Las asambleístas ARISTOFANES / Book Paperback
common.buy 15.50 €
NEW SUMMER ENGLISH 6§EP SB+CD 09 / Book Paperback
common.buy 20.97 €
O Principezinho de Saint-Exupéry Antoine / Book Paperback
common.buy 10.23 €
Cronovisore. Il nuovo mistero del Vaticano. La macchina del tempo François Brune / Book Paperback
common.buy 26.14 €
Correr, comer, vivir SCOTT JUREK / Book Paperback
common.buy 18.84 €
Kurz odblokování čaker Ega Rasch / Book Hardback
common.buy 9.72 €
Grundlagen elektrischer Betriebsmittel Heinrich Hübscher / Book Paperback
common.buy 21.98 €
Asturiana Susaeta / Book Paperback
common.buy 7.49 €
Elisa und der Schatten Napoleons Christine Fischer / Book Paperback
common.buy 12.66 €

This book presents a strictly refereed collection of revised full papers selected from the papers accepted for the TYPES '94 Workshop, held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Bastad, Sweden, in June 1994.The 10 papers included address various aspects of developing computer-assisted proofs and programs using a logical framework. Type theory and three logical frameworks based on it are dealt with: ALF, Coq, and LEGO; other topics covered are metatheory, the Isabelle system, 2-calculus, proof checkers, and ZF set theory.

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 Peter Dybjer, Bengt Nordström, Jan Smith
Language English
Binding Book - Paperback
Date of issue 1995
Number of pages 210
EAN 9783540605799
ISBN 3540605797
Libristo code 05274523
Publishers Springer, Berlin
Weight 294
Dimensions 155 x 233 x 12

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Operating systems
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

Frenemies Emma Hart / Book Paperback
common.buy 15.09 €
The British Arms In North China And Japan: Peking 1860, Kagosima 1862 (1864) David Field Rennie / Book Paperback
common.buy 37.39 €
Kakuro - 200 Logic Puzzles 12x12 (Volume 2) Michael Brown / Book Paperback
common.buy 7.69 €
Ultimate Christmas Colouring Book for Kids Feel Happy Books / Book Paperback
common.buy 9.92 €
Acta Soc. pro Fauna et Flora Fennica Societas Pro Fauna Et Flora Fennica / Book Paperback
common.buy 27.86 €
Harmonic Wealth: The Secret of Attracting the Life You Want James Arthur Ray / Book Paperback
common.buy 19.35 €
Top
No Period. Now What? Nicola J Rinaldi / Book Paperback
common.buy 26.95 €
Top
NIV Holy Bible (Hodder Classics) New International Version / Book Paperback
common.buy 7.69 €
Ligeia's Translations: CTR Translation: English, French, Spanish & Persian Maryam Tajfar / Book Paperback
common.buy 11.24 €
An Introduction to Cold Regions Design: Mechanical J Paul Guyer / Book Paperback
common.buy 27.45 €
The Secret World of Easter Eggs: Hidden Features of the Websites You Know and Love James Dorrian / Book Paperback
common.buy 7.69 €
How to clerk a track meet MR G K Butts / Book Paperback
common.buy 14.89 €
The Survivors Project: Telling the Truth About Life After Sexual Abuse Nina Hoffmann / Book Paperback
common.buy 17.52 €
Deadly Audit: A Buckeye Barrister Mystery David M Selcer / Book Paperback
common.buy 15.09 €
The Stonebearer: Book One of the Spiritmaster Chronicles Bucky Montgomery / Book Paperback
common.buy 15.70 €
Financial Success in a Box: 10 Steps to Take Control of Your Money Robert L Bassford / Book Paperback
common.buy 23.91 €
HBR's 10 Must Reads on Communication (with featured article "The Necessary Art of Persuasion," by Jay A. Conger) Harvard Business Review / Book Hardback
common.buy 37.89 €
Circles of Stone (The Mirror Chronicles, Book 2) Ian Johnstone / Audiobook MP3
common.buy 17.83 €
The Idea of China Guoqi Xu / Book Hardback
common.buy 32.93 €
Bali Travel Map Tenth Edition Periplus Editions / Printed items Map
common.buy 8.71 €
I WAS TOLD THERED BE A VILLAGE WIRT MELISSA / Book Hardback
common.buy 23.20 €
WHY WE DIE RAMAKRISHNAN VENKI / Book Paperback
common.buy 14.28 €
Dot Painting Mandala Coloring Book for Adults Monsoon Publishing / Book Paperback
common.buy 9.01 €
BETTER BROKEN ROGERS SEAN J / Book Hardback
common.buy 28.57 €

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?