Type-theoretic semantics for SemNet

S. Shiu, Z. Luo, R. Garigliano

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

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

Cite this