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)
Original language | English |
---|---|
Title of host publication | Logical Environments |
Publisher | Cambridge Univ Press |
Publication status | Published - 1993 |
ID: 1774857