Roussanka Loukanova. Logic Operators and Quantifiers in Type-Theory of Algorithms. In Daisuke Bekki, Koji Mineshima, Eric McCready, editors, Logic and Engineering of Natural Language Semantics - 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers. Volume 14213 of Lecture Notes in Computer Science, pages 173-198, Springer, 2022. [doi]
@inproceedings{Loukanova22-0, title = {Logic Operators and Quantifiers in Type-Theory of Algorithms}, author = {Roussanka Loukanova}, year = {2022}, doi = {10.1007/978-3-031-43977-3_11}, url = {https://doi.org/10.1007/978-3-031-43977-3_11}, researchr = {https://researchr.org/publication/Loukanova22-0}, cites = {0}, citedby = {0}, pages = {173-198}, booktitle = {Logic and Engineering of Natural Language Semantics - 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers}, editor = {Daisuke Bekki and Koji Mineshima and Eric McCready}, volume = {14213}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-031-43977-3}, }