@article{formalisingtypelogicalgrammarsinagda,
  title = {Formalising Type-Logical Grammars in Agda},
  author = {Wen Kokke},
  year = {2017},
  eprint = {1709.00728},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1709.00728v1},
}