How long does shipping take?

Standard shipping to United States typically takes 1–2 business days after dispatch. Express options are available at checkout.

What is your return policy?

We offer a 30-day return window for most products. Items must be unused, in their original packaging, and accompanied by proof of purchase to qualify for a full refund.

What payment methods are accepted?

We accept all major credit and debit cards (Visa, Mastercard, American Express), as well as Apple Pay and Google Pay. All transactions are processed securely via Stripe and charged in USD.

Is my payment information secure?

Yes — we never store your card details. All payments are handled by Stripe, a PCI-DSS Level 1 certified payment processor, using industry-standard TLS encryption.

How do I track my order?

Once your order is dispatched you will receive a shipping confirmation email containing your tracking number and a link to track your parcel in real time.

Experal

Computers & Technology

Programming in Martin-Lof's Type Theory

Sold byBooks for Life

SKU: 9780198538141

$41.30

Only 10 left in stock

Description

In recent years several formalisms for program construction have been introduced. One such formalism is the type theory developed by Per Martin-Lof. It is well suited as a theory for program construction since it is possible to express both specifications and programs within the same formalism. Furthermore, the proof rules can be used to derive a correct program from a specification as well as to verify that a given program has a certain property. This book contains an introduction to type theory as a theory for program construction.Table of ContentPart 1 Polymorphic sets: the semantics of the judgement forms; general rules; enumeration sets; Cartesian product of a family of sets; equality sets; natural numbers; lists; cartesian product of two sets; disjoint union of two sets; disjoint union of a family of sets; the set of small sets (the first universe); well-orderings; general trees. Part 2 Subsets: subsets in the basic set theory; the subset theory. Part 3 Monomorphic sets: types defining sets in terms of types. Part 4 Examples: some small examples; program derivation; specification of abstract data types.

Specifications

ISBN-13: 9780198538141
Author: Bengt Nordstrom
Publisher: Oxford University Press
Publication Date: 1990-06-01
Binding: hardcover
Condition: new
Pages: 231
Language: english
Country of Origin: United States
Weight (g): 400
Height (mm): 30
Length (mm): 198
Width (mm): 132

Frequently Asked Questions

: Standard shipping to United States typically takes 1–2 business days after dispatch. Express options are available at checkout.
: We offer a 30-day return window for most products. Items must be unused, in their original packaging, and accompanied by proof of purchase to qualify for a full refund.
: We accept all major credit and debit cards (Visa, Mastercard, American Express), as well as Apple Pay and Google Pay. All transactions are processed securely via Stripe and charged in USD.
: Yes — we never store your card details. All payments are handled by Stripe, a PCI-DSS Level 1 certified payment processor, using industry-standard TLS encryption.
: Some products can be backordered — you will see a note on the product page if this is the case. We will ship as soon as stock arrives and keep you updated via email.
: Once your order is dispatched you will receive a shipping confirmation email containing your tracking number and a link to track your parcel in real time.