Types for Proofs and Programs: International Workshop Types '94, Bastad, Sweden, June 6-10, 1994 : Proceedings (Lecture Notes in Computer Science) - Softcover

Inhaltsangabe

Dieses Buch präsentiert eine streng referierte Sammlung von überarbeiteten vollen Papieren, die aus den Papieren ausgewählt wurden, die für den TYPES '94 Workshop akzeptiert wurden, unter der Schirmherrschaft der ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Bastad, Schweden, im Juni 1994.
Die 10 enthaltenen Papiere behandeln verschiedene Aspekte der Entwicklung computergestützter Beweise und Programme mit einem logischen Rahmen. Typtheorie und drei darauf basierende logische Frameworks werden ALF, Coq und LEGO behandelt; andere Themen sind Metatheorie, das Isabelle-System, 2-Kalkulus, Proofprüfer und ZF-Settheorie.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.