Author:Larry Moss

Publications
Automated Reasoning from Polarized Parse Trees Hai Hu, Thomas Icard and Larry Moss EasyChair Preprint no. 225
NLCS'15. Third Workshop on Natural Language and Computer Science Makoto Kanazawa, Larry Moss and Valeria de Paiva (editors) EPiC Series in Computing, volume 32
A Complete Calculus of Monotone and Antitone Higher-Order Functions Thomas Icard and Larry Moss In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic
Fractal Sets as Final Coalgebras Obtained by Completing an Initial Algebra Larry Moss, Jayampathy Ratnayake and Robert Rose In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic