Inproceedings,

Resolving Modal Anaphora in Dependent Type Semantics.

, , and .
JSAI-isAI Workshops, volume 9067 of Lecture Notes in Computer Science, page 83-98. Springer, (2014)

Meta data

Tags

Users

  • @dblp

Comments and Reviews