Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science
Reference27 articles.
1. On the structure of abstract algebras;Birkhoff;Proc. Cambridge Philos. Soc.,1935
2. A formulation of the simple theory of types;Church;J. Symbolic Logic,1940
3. Isomorphisms of Types: From Lambda Calculus to Information Retrieval and Language Design;Di Cosmo,1995
4. N. Dershowitz, J.-P. Jouannaud, Rewrite systems, in: J. van Leeuwen (Ed.), Handbook of Theoretical Computer Science, Vol. B, North-Holland, Amsterdam, 1990.
5. Topology;Dugundji,1966
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献