Type-theoretic semantics for SemNet. / Shiu, S.; Luo, Z.; Garigliano, R.

Proc. of Inter. Conf. on Formal and Applied Practical Reasoning, LNAI 1085. 1996.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published
Original languageEnglish
Title of host publicationProc. of Inter. Conf. on Formal and Applied Practical Reasoning, LNAI 1085
Publication statusPublished - 1996

ID: 1775313