| Original language | English |
|---|---|
| Title of host publication | Logical Environments |
| Publisher | Cambridge Univ Press |
| Publication status | Published - 1993 |
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
Inductive Data types: Well-Ordering Types Revisited
- H. Goguen
- , Z. Luo
Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)