Typed Lambda calculi and applications 7th international conference, TLCA 2005, Nara, Japan, April 21 - 23, 2005 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	TLCA (BerichterstatterIn)
Weitere Verfasser:	Urzyczyn, Paweł (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg u.a. Springer 2005
Schriftenreihe:	Lecture notes in computer science 3461
Schlagworte:	Lambda calculus > Konferenzschrift > Typisierter Lambda-Kalkül > Computational logic > Kategorientheorie
Online Zugang:	Inhaltstext Verlagsangaben Cover Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!