Research

Logical relations, data abstraction, and structured fibrations


Reference:

Power, J. and Robinson, E., 2000. Logical relations, data abstraction, and structured fibrations. New York: ACM, pp. 15-23.

Related documents:

This repository does not currently have the full-text of this item.
You may be able to access a copy if URLs are provided below.

Details

Item Type Conference or Workshop Items (UNSPECIFIED)
CreatorsPower, J.and Robinson, E.
DOI10.1145/351268.351271
DepartmentsFaculty of Science > Computer Science
StatusPublished
ID Code26485

Export

Actions (login required)

View Item