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.
No references recorded for this publication.
No citations of this publication recorded.