Subject
General Computer Science,Theoretical Computer Science
Reference16 articles.
1. A Course in Mathematical Logic;Bell,1977
2. Principal type-schemes and condensed detachment;Hindley;J. Symbolic Logic,1990
3. Introduction to Combinators and λ-calculus;Hindley,1986
4. Converse principal type-scheme theorem in lambda calculus;Hirokawa;Studia Logica,1992
5. Principal type of BCK-lambda-terms;Hirokawa;Theoret. Comput. Sci.,1993
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献