Categories of Chain-Complete Posets
暂无分享,去创建一个
[1] Joseph A. Goguen,et al. Initial Algebra Semantics , 1974, SWAT.
[2] Jean Vuillemin. Correct and Optimal Implementations of Recursion in a Simple Programming Language , 1974, J. Comput. Syst. Sci..
[3] Barry K. Rosen,et al. Program Equivalence and Context-Free Grammars , 1972, J. Comput. Syst. Sci..
[4] G. Markowsky. Chain-complete posets and directed sets with applications , 1976 .
[5] Barry K. Rosen,et al. Recursively defined data types: part 1 , 1973, POPL.
[6] Jean-Jacques Lévy,et al. Mechanizable Proofs about Parallel Processes , 1973, SWAT.
[7] Dana S. Scott,et al. Outline of a Mathematical Theory of Computation , 1970 .
[8] Dana S. Scott,et al. Data Types as Lattices , 1976, SIAM J. Comput..
[9] B. Mitchell,et al. Theory of categories , 1965 .