A Type-Theoretical Alternative to ISWIM, CUCH, OWHY
暂无分享,去创建一个
[1] Paul Taylor,et al. The fixed point property in synthetic domain theory , 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
[2] John McCarthy,et al. A basis for a mathematical theory of computation, preliminary report , 1899, IRE-AIEE-ACM '61 (Western).
[3] Christopher Strachey,et al. A theory of programming language semantics , 1976 .
[4] Alonzo Church,et al. A formulation of the simple theory of types , 1940, Journal of Symbolic Logic.
[5] James H. Morris,et al. Lambda-calculus models of programming languages. , 1969 .
[6] Henk Barendregt,et al. The Lambda Calculus: Its Syntax and Semantics , 1985 .
[7] P. J. Landin,et al. The next 700 programming languages , 1966, CACM.
[8] Andrew M. Pitts,et al. A co-Induction Principle for Recursively Defined Domains , 1994, Theor. Comput. Sci..
[9] Carl A. Gunter,et al. Semantic Domains , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[10] Carl A. Gunter. Semantics of programming languages: structures and techniques , 1993, Choice Reviews Online.
[11] Andrew M. Pitts,et al. Relational properties of recursively defined domains , 1993, [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.
[12] J. W. de Bakker,et al. Mathematical theory of program correctness , 1980, Prentice-Hall international series in computer science.
[13] R. Platek. Foundations of recursion theory , 1966 .
[14] G.D. Plotkin,et al. LCF Considered as a Programming Language , 1977, Theor. Comput. Sci..
[15] Hans Bekic,et al. Definable Operation in General Algebras, and the Theory of Automata and Flowcharts , 1984, Programming Languages and Their Definition.
[16] S. C. Kleene,et al. Introduction to Metamathematics , 1952 .
[17] R. Gandy,et al. Computable and recursively countable functions of higher type , 1977 .
[18] Joseph E. Stoy,et al. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory , 1981 .
[19] Dana S. Scott,et al. Lectures on a Mathematical Theory of Computation , 1982 .
[20] J. Hyland. First steps in synthetic domain theory , 1991 .