- Decidability of Bounded Higher-order Unification Manfred Schmidt-Schauß Klaus U. Schulz Sun 17 November 2013
- A unification algorithm for typed ^I-calculus G.P. Huet Tue 19 February 2013
- Unification of Simply Typed Lambda-Terms as Logic Programming Dale Miller Tue 19 February 2013
- Ellipsis and higher-order unification Mary Dalrymple Stuart M. Shieber Fernando C. N. Pereira Tue 19 February 2013
- Building-in Equational Theories Gordon Plotkin Mon 18 February 2013
- Higher-Order Unification and Matching Gilles Dowek Mon 18 February 2013
- Higher Order Unification 30 Years Later Gerard P. Huet Tue 12 February 2013
Library Size: 13G (7 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
