| Original language | English |
|---|---|
| Title of host publication | Proc of the 8th Inter. Conf. on Category Theory in Computer Science (CTCS'99), Edinburgh, Scotland. Electronic Notes in Theoretical Computer Science, Vol 29 |
| Publication status | Published - 1999 |
Dependent coercions
Z. Luo, S. Soloviev
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution