Willkommen, schön sind Sie da!
Logo Ex Libris

Types for Proofs and Programs

  • Kartonierter Einband
  • 220 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book presents a strictly refereed collection of revised full papers selected from the papers accepted for the TYPES '94 Works... Weiterlesen
20%
86.00 CHF 68.80
Sie sparen CHF 17.20
Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book presents a strictly refereed collection of revised full papers selected from the papers accepted for the TYPES '94 Workshop, held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Bastad, Sweden, in June 1994.
The 10 papers included address various aspects of developing computer-assisted proofs and programs using a logical framework. Type theory and three logical frameworks based on it are dealt with: ALF, Coq, and LEGO; other topics covered are metatheory, the Isabelle system, 2-calculus, proof checkers, and ZF set theory.

Inhalt
Communicating contexts: A pragmatic approach to information exchange.- A short and flexible proof of strong normalization for the calculus of constructions.- Codifying guarded definitions with recursive schemes.- The metatheory of UTT.- A user's friendly syntax to define recursive functions as typed ?-terms.- I/O automata in Isabelle/HOL.- A concrete final coalgebra theorem for ZF set theory.- On extensibility of proof checkers.- Syntactic categories in the language of mathematics.- Formalization of a ?-calculus with explicit substitutions in Coq.

Produktinformationen

Titel: Types for Proofs and Programs
Untertitel: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers
Editor:
EAN: 9783540605799
ISBN: 3540605797
Format: Kartonierter Einband
Herausgeber: Springer Berlin Heidelberg
Genre: Informatik
Anzahl Seiten: 220
Gewicht: 341g
Größe: H235mm x B155mm x T12mm
Jahr: 1995
Untertitel: Englisch
Auflage: 1995

Weitere Produkte aus der Reihe "Lecture Notes in Computer Science"