My Wish Lists Login / Join

Lecture Notes in Computer Science

International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers

By: Eduardo Gimenez (Editor), Christine Paulin-Mohring (Editor)

Write A Review

Paperback | 7 October 1998

At a Glance

Paperback
388 Pages

Dimensions(cm)
23.5 x 15.88 x 2.54

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

This book constitutes the thoroughly revised post-workshop proceedings of the first annual workshop held under the auspices of the ESPRIT Working Group 21900 TYPES in Aussois, France in December 1996.
The 18 revised full papers presented in the book were carefully reviewed and selected from the 30 papers accepted for presentation at the workshop. All current aspects of type theory and type systems and their applications to program verification and theorem proving are addressed; the proof systems and theorem provers dealt with include Coq, LEGO, and Isabelle/HOL.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Mathematics Mathematical Foundation Mathematical Logic Medicine Medicine in General Computing & I.T.Computer Programming & Software Development Programming & Scripting Languages Software Engineering Computer Science Artificial Intelligence

Computer Architecture & Logic Design Compilers & Interpreters

Introduction	p. 1
Coercion Synthesis in Computer Implementations of Type-Theoretic Frameworks	p. 9
Verification of the Interface of a Small Proof System in Coq	p. 28
An Implementation of the Heine-Borel Covering Theorem in Type Theory	p. 46
Detecting and Removing Dead-Code using Rank 2 Intersection	p. 66
A Type-Free Formalization of Mathematics where Proofs are Objects	p. 88
Higman's Lemma in Type Theory	p. 112
A Proof of Weak Termination of Typed [lambda][sigma]-Calculi	p. 134
Proof Style	p. 154
Some Algorithmic and Proof-Theoretical Aspects of Coercive Subtyping	p. 173
Semantical BNF	p. 196
The Internal Type Theory of a Heyting Pretopos	p. 216
Inverting Inductively Defined Relations in LEGO	p. 236
A Generic Normalisation Proof for Pure Type Systems	p. 254
Proving a Real Time Algorithm for ATM in Coq	p. 277
Dependent Types with Explicit Subtitutions: A Meta-Theoreticical Development	p. 294
Type Inference Verified: Algorithm W in Isabelle/HOL	p. 317
Continuous Lattices in Formal Topology	p. 333
Abstract Insertion Sort in an Extension of Type Theory with Record Types and Subtyping	p. 354
Author Index	p. 373
Table of Contents provided by Blackwell. All Rights Reserved.

Lecture Notes in Computer Science

International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Artificial Intelligence

God AI

Boom or Doom? What to Expect When Machines Outsmart Us

Python & AI For Dummies

Empire of AI

Inside the reckless race for total domination

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

Nexus

A Brief History of Information Networks from the Stone Age to AI

The Infinity Machine

Demis Hassabis, DeepMind and the Quest for Superintelligence

Don't Burn Anyone at the Stake Today

(and other lessons from history about living through an information crisis)

Co-Intelligence

Living and Working with AI

The Conscious Code

From Artificial Intelligence to Artificial Consciousness

The Conscious Code

From Artificial Intelligence to Artificial Consciousness

Practical Multi-Agent AI Systems

How to Architect, Build, and Scale Next-Generation AI Systems That Work in the Real World

Social Work Practice and Artificial Intelligence for the Common Good

Ethics, Equity, and Innovation in Human Services

Social Work Practice and Artificial Intelligence for the Common Good

Ethics, Equity, and Innovation in Human Services

Additive Manufacturing for Environmental Sustainability

Technology and Applications

Smarter Healthcare Through Generative Intelligence

Advances in Computational Collective Intelligence

Smarter Healthcare Through Generative Intelligence

Advances in Computational Collective Intelligence

Learning-Enabled Autonomous Systems

Control, Verification, and Monitoring

Technological Advancements and Artificial Intelligence Innovations

Recursive Filtering of Networked Systems with Communication Protocol Scheduling

AI for Public Relations

A How-To Guide for Implementation and Management

Games, Markets, and Online Learning

Games, Markets, and Online Learning

Aquaculture with Artificial Intelligence

Emerging Technologies for Sustainable Industry Development

Human-Centered Machine Learning

This product is categorised by