+612 9045 4394
Logical Frameworks - Gerard Huet

Logical Frameworks

By: Gerard Huet (Editor), G. Plotkin (Editor)

Hardcover Published: 26th January 2011
ISBN: 9780521413008
Number Of Pages: 416

Share This Book:


RRP $285.00
or 4 easy payments of $57.99 with Learn more
Ships in 7 to 10 business days

This volume contains the proceedings of the first international workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science and their relevance to automatic-theorem proving and consequently topics such as artificial intelligence. It is the only source for much of this material and will be a necessary purchase for mathematicians and computer scientists undertaking research at the interface of logic and software engineering.

The logical theory of constructions
The Boyer-Moore theorem prover and Nuprl: an experimental comparison
Girard normalisation proof in
A plea for weaker frameworks
Deliverables: an approach to program development in the Calculus of Constructions
Finding computational content in classical proofs
An algorithm for testing conversion in type theory
A proof synthesis algorithm for testing conversion in type theory
Inductive sets and families in Martin-L÷f's type theory and their set-theoretic semantics
Encoding a dependent-type lambda-calculus in a logic
Nederpelt's calculus extended with a notion of context as a logical framework
Models of partial induction
Goal-directed proof construction in type theory
Elf: a language for logic definition and verified meta-programming
Investigations into proof-search in a system of first-order dependent function types
The role of elimination inferences in a structural framework
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9780521413008
ISBN-10: 0521413001
Audience: Professional
Format: Hardcover
Language: English
Number Of Pages: 416
Published: 26th January 2011
Country of Publication: GB
Dimensions (cm): 22.86 x 15.24  x 2.69
Weight (kg): 0.78