Media type: Book; Conference Proceedings Title: Typed lambda calculi and applications : 8th international conference, TLCA 2007, Paris, France, June 26 - 28, 2007 ; proceedings Contributor: Ronchi Della Rocca, Simona [Editor] Event: TLCA Published: Berlin; Heidelberg [u.a.]: Springer, 2007 Published in: Lecture notes in computer science ; 4583 Extent: X, 395 S.; graph. Darst; 235 mm x 155 mm Language: English ISBN: 3540732276; 9783540732273 Publisher, production or purchase order numbers: Sonstige Nummer: 12080779 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Typisierter Lambda-Kalkül Computational logic Kategorientheorie Lambda-Kalkül Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2016 8 8549 Item ID: 31615698 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order