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

The Reverse Centaur's Guide to Life After AI

How to Think About Artificial Intelligence Before It's Too Late

The Infinity Machine

Demis Hassabis, DeepMind and the Quest for Superintelligence

Nexus

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

The God We Made

The Threat and Promise of Artificial Intelligence; Quarterly Essay 102

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

AI Powered Digital Twins

A Guide for Humans, Engineers, and Enterprises

Co-Intelligence

Living and Working with AI

The Metaverse

Hype or Hoax?

Handbook of Microbial Artificial Intelligence

Applications and Ethical Considerations

Artificial Intelligence for Sustainable Supply Chain Management

Artificial Intelligence for Sustainability

Artificial Intelligence in Tribology

Advances in Surface Engineering and Tribology

Planning Digital Cities

Transforming Public Spaces in the Age of Technology

Agentic Intelligence

Custom AI Solutions for Identity, Innovation, and Adaptive Learning

Generative AI and Stochastic Thermodynamics

A Tale of Free Energies

Generative AI and Stochastic Thermodynamics

A Tale of Free Energies

Reinforcement Learning Foundations

Exploring GeoAI

Tools and Workflows

Exploring GeoAI

Tools and Workflows

Effect-Driven Interpretation

Functors for Natural Language Composition

Effect-Driven Interpretation

Functors for Natural Language Composition

AI and Data Science in Medical Research

New Developments and Advances

Recent Advances in Information Systems

Proceedings of the ICRAIS, Pointe aux Piments, Mauritius, 10-12 September 2025

Trends in Advanced Unmanned Aerial Systems

Selected Contributions of ICAUAS 2025

Data Science and Social Research III

Epistemology, Methods, Technology, Applications, and Relation to Artificial Intelligence

This product is categorised by