語系
Urzyczyn, Pawel.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Lectures on the Curry-Howard isomorphism
by:
Sørensen, Morten Heine.; Urzyczyn, Pawel.
(書目-語言資料,印刷品)
Typed Lambda Calculi and Applications = 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings /
by:
SpringerLink (Online service); International Conference on Typed Lambda Calculi and Applications (2005 :); Urzyczyn, Pawel.
(書目-語言資料,印刷品)