HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Thomas Icard

Publications
Automated Reasoning from Polarized Parse Trees
Hai Hu, Thomas Icard and Larry Moss
EasyChair Preprint 225
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

Keyphrases

CCG, inference, monotone and antitone functions, monotonicity, monotonicity calculus, polarity, typed lambda calculus.

Copyright © 2012-2025 easychair.org. All rights reserved.