Domains and Lambda calculi

Skip to top bar Skip to header Skip to content Skip to footer

Publications Detailed Information on Publication Record

Detailed Information on Publication Record

1998

Domains and Lambda calculi

AMADIO, Roberto M. and Pierre-Louis CURIEN

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

Změněno: 22/5/2023 04:44, The record has been imported from the library system.

AMADIO, Roberto M. and Pierre-Louis CURIEN. Domains and Lambda calculi. Cambridge: Cambridge University Press, 1998, xvi, 484. ISBN 0521622778.

AMADIO, Roberto M. and Pierre-Louis CURIEN. \textit{Domains and Lambda calculi}. Cambridge: Cambridge University Press, 1998, xvi, 484. ISBN~0521622778.