Semantics and logics of computation /
Други автори: | Pitts, A. M., Dybjer, Peter. |
---|---|
Формат: | Книга |
Език: | English |
Публикувано: |
Cambridge UK ; New York :
Cambridge University Press,
1997.
|
Серия: |
Publications of the Newton Institute
14 |
Предмети: |
Физически характеристики: |
xii, 361 p. : ill. ; 24 cm. |
---|---|
Библиография: |
Includes bibliographical references and index. |
ISBN: |
0521580579 (Hard) |