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 ; [selection of papers presented at the first annual workshop of the TYPES Working Group]

Gespeichert in:
Bibliographische Detailangaben
Körperschaften: Europäische Kommission Programm für Informationstechnologien Basic Research Action 21900 (BerichterstatterIn), TYPES (BerichterstatterIn)
Weitere Verfasser: Callaghan, Paul (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Berlin, Heidelberg u.a. Springer 2002
Schriftenreihe:Lecture notes in computer science 2277
Schlagworte:
Automatic theorem proving > Computer programming > Congresses > Type theory > Konferenzschrift > Typentheorie > Typsystem > Beweistheorie > Programmierung > Reduktionssystem
Online Zugang:Inhaltsverzeichnis
Kapitel 1
Cover
Inhaltstext
Publisher description
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!