Domains and lambda-calculi
- 種類:
- 図書
- 責任表示:
- Roberto M. Amadio, Pierre-Louis Curien
- 出版情報:
- Cambridge : Cambridge University Press, 1998
- 著者名:
- シリーズ名:
- Cambridge tracts in theoretical computer science ; 46 <BA01121831>
- ISBN:
- 9780521622776 [0521622778]
類似資料:
Clarendon Press, Oxford University Press |
Cambridge University Press |
Cambridge University Press |
Kraus Reprint |
North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. | |
Cambridge University Press | |
Addison-Wesley |
Tata Institute of Fundamental Research |
North-Holland, Distirbutors for the United States and Canada, Elsevier Science Publishing Company Inc. |