Types for proofs and programs international workshop, TYPES 2000, Durham, UK, December 8 - 12, 2000 ; selected papers

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	TYPES (BerichterstatterIn)
Weitere Verfasser:	Callaghan, Paul (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin u.a. Springer 2002
Schriftenreihe:	Lecture notes in computer science 2277
Schlagworte:	Konferenzschrift > Typentheorie > Typsystem > Beweistheorie > Programmierung > Reduktionssystem
Online Zugang:	Kapitel Inhaltsverzeichnis Buchumschlag
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!