Lambda calculus - Congresses.
概要
| 作品: | 3 作品在 2 項出版品 2 種語言 | |
|---|---|---|
書目資訊
Typed lambda calculi and applications = 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 : proceedings /
by:
(書目-語言資料,印刷品)