Domain theory in realizability toposes

Author(s)

• Phoa, Wesley

Bibliographic Information

Domain theory in realizability toposes

Wesley Phoa

University of Edinburgh, Department of Computer Science, 1991

Note

Includes bibliography (p. 205-210)

Author's thesis (Ph.D.)--Trinity College, Cambridge, November 1990. Additions and revisions, July 1991

CST-82-91 (also published as ECS-LFCS-91-171)

Details

• NCID: BC16630196
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Edinburgh
• Pages/Volumes: 216 p.
• Size: 21 cm