Author:Larry Moss

Publications
Automated Reasoning from Polarized Parse Trees Hai Hu, Thomas Icard and Larry Moss EasyChair Preprint 225
NLCS'15. Third Workshop on Natural Language and Computer Science Makoto Kanazawa, Lawrence S. Moss and Valeria de Paiva (editors) EPiC Series in Computing, volume 32
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
A Complete Calculus of Monotone and Antitone Higher-Order Functions Thomas Icard and Lawrence Moss In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic