Original language | English |
---|---|
Title of host publication | Proc. of Inter. Conf. on Formal and Applied Practical Reasoning, LNAI 1085 |
Publication status | Published - 1996 |
Type-theoretic semantics for SemNet
S. Shiu, Z. Luo, R. Garigliano
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution