Types for proofs and programs

View on Open Library

Types for proofs and programs

by Paul Callaghan , Zhaohui Luo , James McKinna , Robert Pollack

No reviews yet

First published: 2002 1 language ISBN: 9783540458425

Subjects

Congresses Computer programming Automatic theorem proving

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Paul Callaghan

The organisation in its environment

The organisation in its environment

Iridescence

Dreaming Path

Wizard Study Guide Snow Falling on Cedars (Cambridge Wizard English Student Guides)

Wizard Study Guide Snow Falling on Cedar...

Going with the Flow

Going with the Flow

Get off the Grass

Get off the Grass

You Might Also Like

More in Congresses

Manifest der Kommunistischen Partei

Manifest der Kommunistischen Partei

Karl Marx

Nicomachean Ethics

Nicomachean Ethics

Aristotle

Lord Jim

Joseph Conrad

[William Wheeler Hubbell, authorized to apply for patents.]

[William Wheeler Hubbell, authorized to ...

United States. Congress. Senate. Committee on Patents

Compleat angler

Compleat angler

Izaak Walton

The national union catalog

The national union catalog

Library of Congress