Domains and lambda-calculi.
Saved in:
| Author / Creator: | Amadio, Roberto M. |
|---|---|
| Imprint: | Cambridge, U.K. : Cambridge University Press, 1998. |
| Description: | xvi, 484 ; 24 cm. |
| Language: | English |
| Series: | Cambridge tracts in theoretical computer science. 46 |
| Subject: | |
| Format: | Print Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/3311814 |