When do datatypes commute?

P.F. Hoogendijk, R.C. Backhouse

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

11 Citations (Scopus)
Original languageEnglish
Title of host publicationCategory Theory and Computer Science (Proceedings 7th International Conference, CTCS'97, Santa Margharita Ligure, Italia, September 4-6, 1997)
EditorsE. Moggi, G. Rosolini
Place of PublicationBerlin
PublisherSpringer
Pages242-260
ISBN (Print)3-540-63455-X
DOIs
Publication statusPublished - 1997

Publication series

NameLecture Notes in Computer Science
Volume1290
ISSN (Print)0302-9743

Cite this

Hoogendijk, P. F., & Backhouse, R. C. (1997). When do datatypes commute? In E. Moggi, & G. Rosolini (Eds.), Category Theory and Computer Science (Proceedings 7th International Conference, CTCS'97, Santa Margharita Ligure, Italia, September 4-6, 1997) (pp. 242-260). (Lecture Notes in Computer Science; Vol. 1290). Berlin: Springer. https://doi.org/10.1007/BFb0026992