Simon Shiu, Zhaohui Luo, Roberto Garigliano. Type Theoretic Semantics for SemNet. In Dov M. Gabbay, Hans Jürgen Ohlbach, editors, Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR 96, Bonn, Germany, June 3-7, 1996, Proceedings. Volume 1085 of Lecture Notes in Computer Science, pages 582-595, Springer, 1996.
@inproceedings{ShiuLG96,
title = {Type Theoretic Semantics for SemNet},
author = {Simon Shiu and Zhaohui Luo and Roberto Garigliano},
year = {1996},
tags = {semantics},
researchr = {https://researchr.org/publication/ShiuLG96},
cites = {0},
citedby = {0},
pages = {582-595},
booktitle = {Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR 96, Bonn, Germany, June 3-7, 1996, Proceedings},
editor = {Dov M. Gabbay and Hans Jürgen Ohlbach},
volume = {1085},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-61313-7},
}