"International workshop TYPES, 2., Bastad, 1994." . . . "International Workshop on Types for Proofs and Programs (2 : 1994, June 6-10 : Båstad, Sweden)" . . . "Matematisk logik (Datalogi)" . . "Kongreß." . . "Benutzeroberfläche." . . "Mathematical Logic and Foundations." . . "Beweistheorie." . . "International workshop TYPES (1994 : Bastad, Suède)" . . . "International Workshop on Types for Proofs and Programs, TYPES (06-06-1994 - 10-06-1994 : Båstad, Sweden)" . . . "théorie démonstration." . . "International Workshop TYPES (2 1994.06.06-10 Båstad, Sweden)" . . . "Dimostrazione automatica di teoremi - Congressi - 1994." . . "Typentheorie." . . "Artificial Intelligence (incl. Robotics)" . . "Teoremas Demostración automática Congresos." . . "Types, Théorie des Congrès." . . "Logique informatique Congrès." . . "Congressi - Nijmegen - 1994." . . "Elaboratori elettronici - Programmi - Congressi - 1994." . . "démonstration de théorème programmation [congrès]" . . "Mathematical Logic and Formal Languages." . . "International Workshop TYPES" . . "calcul construction." . . "Automatyczne dowodzenie twierdzeń konferencje." . . . . "Computer Science." . . "Théorèmes Démonstration automatique Congrès Congrès." . . "International Workshop on Types for Proofs and Programs (2 1994.06.06-10 Båstad, Sweden)" . . . "Kunstmatige intelligentie." . . "théorie type." . . "TYPES '94 (2 ; 1994 ; Båstad)." . . . "International Workshop on Types for Proofs and Programs, TYPES (2 1994.07.6-10 Båstad, Sweden)" . . . "International Workshop on Types for Proofs and Programs (Båstad : 1994)" . . . "Programmeertalen." . . "Théorèmes Démonstration automatique." . . "Logica." . . "International Workshop TYPES '94 (1994 : Båstad, Sweden)" . . . "International Workshop TYPES '94 (1994. Båstad, Sweden)" . "lambda calcul." . . "Programming Languages, Compilers, Interpreters." . . "Logics and Meanings of Programs." . . "linguistique." . . "Komputery programowanie konferencje." . . . . . . . "Types for proofs and programs" . . "Types for proofs and programs : International Workshop TYPES '94, Båstad, Sweden, June 6 - 10, 1994 ; selected papers" . . "Types for proofs and programs : international workshop TYPES '94 : Båstad, Sweden, June 6-10, 1994 : selected papers" . . . . . . . . . "Types for proofs and programs : International workshop : Selected papers"@en . "Kongreß" . . . "Types for proofs and programs : international workshop TYPES '94, Båstad, Sweden, June 6-10, 1994 : selected papers" . . . . . . . . "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." . . . . . . . . . . . . . "Kongress" . . "Types for Proofs and Programs : International Workshop TYPES '94 : Selected Papers" . . . . . . . . . . . "Types for proofs and programs : International Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994 : selected papers"@en . . "Types for proofs and programs : international workshop TYPES '94 , Båstad, Sweden, June 6-10, 1994 : selected papers" . "Types for proofs and programs : International Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994 : selected papers" . . . "Conference papers and proceedings"@en . "Conference papers and proceedings" . . "Congressen (vorm)" . . . "TYPES '94" . . . . . . . "Types for proofs and programs International Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994 : selected papers" . . . "Conference proceedings" . "Electronic books" . . "Types for Proofs and Programs International Workshop TYPES '94 Båstad, Sweden, June 6-10, 1994 Selected Papers" . . . . . . . . . . . . . . "Types for proofs and programs : selected papers" . . . "Types for proofs and programs international workshop TYPES '94 : Båstad, Sweden, June 6-10, 1994 : selected papers" . . . . . . . . . . "Programas de ordenador Congresos." . .