@Inproceedings{EPTCS323.11,
  author    = {Johnson-Freyd, Philip and Aytac, Jon and Hulette, Geoffrey},
  year      = {2020},
  title     = {Topos Semantics for a Higher-Order Temporal Logic of Actions},
  editor    = {Baez, John and Coecke, Bob},
  booktitle = {{\rm Proceedings}
               Applied Category Theory 2019,
               {\rm University of Oxford, UK, 15-19 July 2019}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {323},
  publisher = {Open Publishing Association},
  pages     = {161-171},
  doi       = {10.4204/EPTCS.323.11},
}