Generalised algebraic theories and contextual categories
暂无分享，去创建一个
[1] M. Fourman. The Logic of Topoi , 1977 .
[2] J. A. Goguen,et al. Completeness of many-sorted equational logic , 1981, SIGP.
[3] F. Lockwood Morris,et al. Advice on structuring compilers and proving them correct , 1973, POPL.
[4] Law Fw. FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES. , 1963 .
[5] John W. Gray,et al. The categorical comprehension scheme , 1969 .
[6] F. E. J. Linton,et al. Some Aspects of Equational Categories , 1966 .
[7] P. Martin-Löf. Constructive mathematics and computer programming , 1984 .
[8] Peter Freyd,et al. Aspects of topoi , 1972, Bulletin of the Australian Mathematical Society.
[9] Peter D. Mosses,et al. Abstract Semantic Algebras , 1982, Formal Description of Programming Concepts.