Pym D, Wallen L. Investigations into proof-search in a system of first-order dependent function types. In: Stickel M, ed. Proceedings of the 10th International Conference on Automated Deduction. Lindau, Germany: Springer-Verlag LNCS 449; 1990:236–250.

Pym D, Wallen LA. Proof search in the λII-calculus. In: Huet G, Plotkin G, eds. Logical Frameworks. Kaiserslautern, Germany: Cambridge University Press; 1991:309–340.

Qian Z. Linear unification of higher-order patterns. In: Gaudel M.-C., Jouannaud J.-P., eds. Proceedings of the Colloquium on Trees in Algebra and Programming. Springer-Verlag LNCS 668; 1993:391–405.

Rohwedder E, Pfenning F. Mode and termination checking for higher-order logic programs. In: Nielson HR, ed. Proceedings of the ...

Get Handbook of Automated Reasoning now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.

Start your free trial