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