Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference25 articles.
1. The Lambda Calculus: Its Syntax and Semantics;Barendregt,1981
2. Stable models of typed λ-calculi;Berry,1978
3. Sequential algorithms on concrete data structures;Berry;Theoret. Comput. Sci.,1982
4. Groups of order-automorphisms of the rationals with prescribed scale type;Cameron;J. Math. Psychol.,1989
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Symmetries of the partial order of traces;Order;1999
2. Universal domains and the amalgamation property;Mathematical Structures in Computer Science;1993-06
3. On stable domains;Theoretical Computer Science;1993-04