Typed lambda calculi and applications: 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 ; proceedings

Medientyp: Buch; Konferenzbericht
Titel: Typed lambda calculi and applications : 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 ; proceedings
Beteiligte: Ong, Luke [Hrsg.]
Veranstaltung: TLCA
Erschienen: Berlin; Heidelberg [u.a.]: Springer, 2011
Erschienen in: Lecture notes in computer science ; 6690
Umfang: XII, 244 S.; graph. Darst; 235 mm x 155 mm
Sprache: Englisch
ISBN: 3642216900; 9783642216909
Verlags-, Produktions- oder Bestellnummern: Sonstige Nummer: 80064345
RVK-Notation: SS 4800 : Lecture notes in computer science
Schlagwörter: Typisierter Lambda-Kalkül
Lambda-Kalkül > Klassische Logik > Typentheorie > Beweistheorie > Reduktionssystem
Entstehung:
Anmerkungen: Literaturangaben
Weitere Bestandsnachweise
0 : Lecture notes in computer science

Typed lambda calculi and applications : 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 ; proceedings