Logo

Proofs and Types by J. Girard, Y. Lafont, P. Taylor

Large book cover: Proofs and Types

Proofs and Types
by

Publisher: Cambridge University Press
ISBN/ASIN: 0521371813
ISBN-13: 9780521371810
Number of pages: 183

Description:
This little book comes from a short graduate course on typed lambda-calculus given at the Universite Paris. It is not intended to be encyclopedic and the selection of topics was really quite haphazard. Some very basic knowledge of logic is needed, but we will never go into tedious details.

Home page url

Download or read it online for free here:
Download link
(multiple formats)

Similar books

Book cover: The Z Notation: A Reference ManualThe Z Notation: A Reference Manual
by - Prentice Hall
The standard Z notation for specifying and designing software has evolved over the best part of a decade. This an informal but rigorous reference manual is written with the everyday needs of readers and writers of Z specifications in mind.
(6219 views)
Book cover: Formal Language Theory for Natural Language ProcessingFormal Language Theory for Natural Language Processing
by - ESSLLI
This text is a mild introduction to Formal Language Theory for students with little or no background in formal systems. The motivation is Natural Language Processing, and the presentation is geared towards NLP applications, with extensive examples.
(5482 views)
Book cover: The Theory of Languages and ComputationThe Theory of Languages and Computation
by - University of Pennsylvania
From the table of contents: Automata; Formal Languages (A Grammar for Parsing English, Context-Free Grammars, Derivations and Context-Free Languages, Normal Forms for Context-Free Grammars, Chomsky Normal Form, ...); Computability; Current Topics.
(3025 views)
Book cover: Partial Evaluation and Automatic Program GenerationPartial Evaluation and Automatic Program Generation
by - Prentice Hall
The book about partial evaluation, a program optimization technique also known as program specialization. It presents principles for constructing partial evaluators for a variety of programming languages, and gives references to the literature.
(10809 views)