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