Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. R. J. Boulton. A HOL semantics for a subset of ELLA. Technical Report 254, University of Cambridge Computer Laboratory, April 1992.
2. A. Church. A formulation of the simple theory of types. Journal of Symbolic Logic, 5(1):56–68, 1940.
3. M. J. C. Gordon and T. F. Melham, editors. Introduction to HOL: A theorem proving environment for higher order logic. Cambridge University Press, 1993.
4. G. P. Huet. A unification algorithm for typed λ-calculus. Theoretical Computer Science, 1(1):27–57, 1975.
5. G. Huet and B. Lang. Proving and applying program transformations expressed with 2nd order patterns. Acta Informatica, 11:31–55, 1978.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献