| AMADIO, Roberto M. and Pierre-Louis CURIEN. Domains and Lambda calculi. Cambridge: Cambridge University Press, 1998, xvi, 484. ISBN 0521622778. |
|
Other formats:
BibTeX
LaTeX
RIS
|
| Basic information | |
|---|---|
| Original name | Domains and Lambda calculi |
| Authors | AMADIO, Roberto M. and Pierre-Louis CURIEN. |
| Edition | Cambridge, xvi, 484, 1998. |
| Publisher | Cambridge University Press |
| Other information | |
|---|---|
| ISBN | 0521622778 |
| Changed by | The record has been imported from the library system. Changed: 22/5/2023 04:44. |
PrintDisplayed: 31/5/2024 03:44