Types for Proofs and Programs : International Workshop, Types 2004, Jouy-En-Josas, France, December 15-18, 2004, Revised Selected Papers - Jean-Christophe Filliatre

Instant online reading.
Don't wait for delivery!

Types for Proofs and Programs

International Workshop, Types 2004, Jouy-En-Josas, France, December 15-18, 2004, Revised Selected Papers

By: Jean-Christophe Filliatre (Editor), Christine Paulin-Mohring (Editor), Benjamin Werner (Editor)

Write A Review

Paperback | 25 January 2006

At a Glance

Paperback
290 Pages

Dimensions(cm)
23.39 x 15.6 x 1.55

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on type theory are addressed; in particular languages and computerised tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalisation of mathematics and mathematics education.

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 Computing & I.T.Computer Science Artificial Intelligence Computer Architecture & Logic Design Computer Programming & Software Development Programming & Scripting Languages Mathematics Mathematical Foundation Mathematical Logic Databases Data Capture & Analysis

Mathematical Theory of Computation Maths for Computer Scientists Compilers & Interpreters Algebra

Formalized metatheory with terms represented by an indexed family of types	p. 1
A content based mathematical search engine : whelp	p. 17
A machine-checked formalization of the random Oracle model	p. 33
Extracting a normalization algorithm in Isabelle/HOL	p. 50
A structured approach to proving compiler optimizations based on dataflow analysis	p. 66
Formalising bitonic sort in type theory	p. 82
A semi-reflexive tactic for (sub-)equational reasoning	p. 98
A uniform and certified approach for two static analyses	p. 115
Solving two problems in general topology via types	p. 138
A tool for automated theorem proving in Agda	p. 154
Surreal numbers in Coq	p. 170
A few constructions on constructors	p. 186
Tactic-based optimized compilation of functional programs	p. 201
Interfaces as games, programs as strategies	p. 215
[lambda]Z : Zermelo's set theory as a PTS with 4 sorts	p. 232
Exploring the regular tree types	p. 252
On constructive existence	p. 268
Table of Contents provided by Blackwell. All Rights Reserved.

Types for Proofs and Programs

International Workshop, Types 2004, Jouy-En-Josas, France, December 15-18, 2004, Revised 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

The Reverse Centaur's Guide to Life After AI

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

Nexus

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

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

Empire of AI

Inside the reckless race for total domination

The Infinity Machine

Demis Hassabis, DeepMind and the Quest for Superintelligence

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

Co-Intelligence

Living and Working with AI

Practical Multi-Agent AI Systems

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

NextGen Strategies and Tools

Pioneering Innovations in Agriculture

Modeling of the Whole Lifecycle Dioxins for Municipal Solid Waste Incineration

Numerical Simulation and AI-Driven Method

Game AI Uncovered Focus

Character AI

Game AI Uncovered Focus

Character AI

WORLDING

A Guide for Creators in Changing Times

Aquaculture with Artificial Intelligence

Emerging Technologies for Sustainable Industry Development

Artificially Yours

Real Friendship in a World of Chatbots

Emissaries Guide to Worlding

AI for Public Relations

A How-To Guide for Implementation and Management

Recent Advances in Information Systems

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

Statistics in Clinical Development of Cancer Drugs

Recent Trends & Advances

Artificial Intelligence in Modeling and Simulation

Simulation Foundations, Methods and Applications

Data Science and Social Research III

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

Securing the Internet of Things

Machine Learning and Beyond

Digital Twin Pose Detection for Mechanical Equipment

Theory and Methods for Intelligent Multi-Source Pose Deduction and Reconstruction of Fully-Mechanized Mining Equipment Clusters

This product is categorised by