Propositional Forms of Judgemental Interpretations

EasyChair Preprint no. 221, version history

VersionDatePagesVersion notes
1June 2, 201810
2November 7, 201810

Acknowledgements added

Keyphrases: formal semantics, Judgemental Interpretation, type theory

BibTeX entry
BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:
  author = {Tao Xue and Zhaohui Luo and Stergios Chatzikyriakidis},
  title = {Propositional Forms of Judgemental Interpretations},
  howpublished = {EasyChair Preprint no. 221},
  doi = {10.29007/kv25},
  year = {EasyChair, 2018}}