%0 Journal Article %1 journals/flap/PaivaE17 %A de Paiva, Valeria %A III, Harley Eades %D 2017 %J FLAP %K dblp %N 4 %T Constructive Temporal Logic, Categorically. %U http://dblp.uni-trier.de/db/journals/flap/flap4.html#PaivaE17 %V 4

@article{journals/flap/PaivaE17, added-at = {2020-03-12T00:00:00.000+0100}, author = {de Paiva, Valeria and III, Harley Eades}, biburl = {https://www.bibsonomy.org/bibtex/287694121c56acc75134571609d8fa635/dblp}, ee = {http://www.collegepublications.co.uk/downloads/ifcolog00013.pdf}, interhash = {fffe37fbe3055a8f22e9907952652962}, intrahash = {87694121c56acc75134571609d8fa635}, journal = {FLAP}, keywords = {dblp}, number = 4, timestamp = {2020-03-13T11:48:08.000+0100}, title = {Constructive Temporal Logic, Categorically.}, url = {http://dblp.uni-trier.de/db/journals/flap/flap4.html#PaivaE17}, volume = 4, year = 2017 }