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