Inductive Data types: Well-Ordering Types Revisited. / Goguen, H.; Luo, Z.

Logical Environments. Cambridge Univ Press, 1993.

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Published
Original languageEnglish
Title of host publicationLogical Environments
PublisherCambridge Univ Press
Publication statusPublished - 1993

ID: 1774857