Logical relations, data abstraction, and structured fibrations

John Power; Edmund Robinson

doi:10.1145/351268.351271

Logical relations, data abstraction, and structured fibrations

John Power, Edmund Robinson

Department of Computer Science

Research output: Chapter or section in a book/report/conference proceeding › Book chapter

1 Citation (SciVal)

Original language	English
Title of host publication	Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '00
Place of Publication	New York
Publisher	Association for Computing Machinery
Pages	15-23
Number of pages	9
ISBN (Print)	1-58113-265-4
DOIs	https://doi.org/10.1145/351268.351271
Publication status	Published - 2000

Access to Document

10.1145/351268.351271

Cite this

Logical relations, data abstraction, and structured fibrations. / Power, John; Robinson, Edmund.
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '00. New York: Association for Computing Machinery, 2000. p. 15-23.

Research output: Chapter or section in a book/report/conference proceeding › Book chapter

@inbook{41c26121c5d84929b26e67fe7b244717,

title = "Logical relations, data abstraction, and structured fibrations",

author = "John Power and Edmund Robinson",

year = "2000",

doi = "10.1145/351268.351271",

language = "English",

isbn = "1-58113-265-4",

pages = "15--23",

booktitle = "Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '00",

publisher = "Association for Computing Machinery",

address = "USA United States",

}

TY - CHAP

T1 - Logical relations, data abstraction, and structured fibrations

AU - Power, John

AU - Robinson, Edmund

PY - 2000

Y1 - 2000

UR - http://dx.doi.org/10.1145/351268.351271

UR - https://www.scopus.com/pages/publications/0034592799

U2 - 10.1145/351268.351271

DO - 10.1145/351268.351271

M3 - Book chapter

SN - 1-58113-265-4

SP - 15

EP - 23

BT - Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '00

PB - Association for Computing Machinery

CY - New York

ER -

Logical relations, data abstraction, and structured fibrations

Access to Document

Other files and links

Cite this