Publisher's Synopsis
Proceedings of the Sept. 1991 meeting on type theory, domain theory and linear logic. No index. Annotation copyright Book News, Inc. Portland, Or.
Paperback
Not available for sale
Out of stock
Proceedings of the Sept. 1991 meeting on type theory, domain theory and linear logic. No index. Annotation copyright Book News, Inc. Portland, Or.
ISBN: | 9780387544953 |
Publisher: | Springer Verlag |
Imprint: | Springer Verlag |
Language: | English |
Number of pages: | 301 |
Weight: | 521g |
Height: | 234mm |
Width: | 165mm |
Spine width: | 19mm |