"Kunstmatige intelligentie." . . "preuve programme." . . "lambda calcul." . . "Beweistheorie." . . "sémantique programme." . . "TYPES 2000 (2000 : Durham, England)" . . . "Modelos matemáticos Congresos." . . "Kongress." . . "Modelos matemáticos Congresos En línea." . . "TYPES Working Group. International Workshop" . . "International Workshop TYPES." . . . . . "Typentheorie Kongress Durham <2000>" . . "Typsystem." . . "Tipos, Teoría de Congresos En línea." . . "International Workshop on Types for Proofs and Programs, TYPES (08-12-2000 - 12-12-2000 : Durham, UK)" . . . "Programmierung." . . "Démonstration automatique de théorèmes." . . "réécriture." . . "Annual workshop of the TYPES Working Group (1 : 2000.12.08-12 : Durham)" . . . "Annual workshop of the TYPES Working Group (1 2000.12.08-12 Durham)" . "Reduktionssystem Typentheorie Kongress Durham <2000>" . . "Reduktionssystem." . . "International workshop TYPES (2000 : Durham, GB)" . . . "Programmation (Informatique) Congrès." . . "programmation en logique." . . "Programación de ordenadores Congresos En línea." . . "démonstration de théorème programmation [congrès]" . . "Ordinateurs Programmation Congrès." . . "Logica." . . "Beweistheorie Typentheorie Kongress Durham <2000>" . . "Programación de ordenadores Congresos." . . "Typentheorie." . . "système preuve." . . "Programmeertalen." . . "Théorèmes Démonstration automatique Congrès." . . "Programmierung Typentheorie Kongress Durham <2000>" . . "Tipos, Teoría de Congresos." . . "théorie programmation." . . "TYPES 2000 (1º. 2000. Durham, Gran Bretaña)" . . . "Programmation." . . "méthode formelle." . . "Théorie des types." . . "théorie type." . . . . . "Electronic books"@en . . "Types for proofs and programs : international workshop, TYPES 2000, Durham, UK, December 8-12, 2000 selected papers" . . . "TYPES 2000" . . . . . . . "Conference papers and proceedings"@en . "Workshop of the Types Working Group" . "Conference papers and proceedings" . . . . . "Types for Proofs and Programs International Workshop, TYPES 2000 Durham, UK, December 8-12, 2000 Selected Papers" . . . "Types for Proofs and Programs International Workshop, TYPES 2000 Durham, UK, December 8-12, 2000 Selected Papers"@en . . . . "Types for proofs and programs : International Workshop, TYPES 2000, Durham 2000 : selected papers" . . . "Durham (2000)" . . . "First Annual Workshop of the Types Working Group" . "Types for proofs and programs : international workshop, TYPES 2000, Durham, UK, December 8 - 12, 2000 ; selected papers ; [selection of papers presented at the first annual workshop of the TYPES Working Group]" . . "Types for proofs and programs : international workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers" . . . . . . . "This book constitutes the thoroughly refereed post-proceedings of the International Workshop of the TYPES Working Group, TYPES 2000, held in Durham, UK in December 2000. The 15 revised full papers presented were carefully reviewed and selected during two rounds of refereeing and revision. All current issues on type theory and type systems and their applications to programming, systems design, and proof theory are addressed."@en . . . . . . "Types for proofs and programs : International Workshop, TYPES 2000, Durham,UK, December 8-12, 2000 : selected papers" . . . . . "Types for proofs and programs International workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers" . . "Conference proceedings" . "Kongress" . . "Online-Publikation" . "Types for proofs and programs : International Workshop, TYPES 2000 : Durham, UK, December 8-12, 2000 : selected papers" . . . . "Congressen (vorm)" . . . . . . "Types for proofs and programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers" . . . . . . "Types for proofs and programs international workshop : selected papers" . . . . . . . . . . "Types for proofs and programs : international workshop, TYPES 2000 Durham, UK, December 8 - 12, 2000 : selected papers" . . . "Types for proofs and programs International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers"@en . "Types for proofs and programs International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers" . . . . . . . . . . . . . . "Types for proofs and programs : international workshop : selected papers" . . "Typsystem Kongress Durham <2000>" . .