HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:typed lambda calculus

Publications
Do different syntactic trees yield different logical readings? Some remarks on head variables in typed lambda calculus.
Davide Catta, Richard Moot and Christian Retoré
EasyChair Preprint 209
Properties of Constrained Generalization Algorithms
Thierry Boy de La Tour
In:GCAI 2017. 3rd Global Conference on Artificial Intelligence
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
Copyright © 2012-2025 easychair.org. All rights reserved.