Keyword:typed lambda calculus

Papers
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 no. 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 Larry Moss In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic