Typed Horn Logic
暂无分享，去创建一个
[1] Axel Poigné. Partial Algebras, Subsorting, and Dependent Types: Prerequisites of Error Handling in Algebraic Specifications , 1987, ADT.
[2] P. Gabriel,et al. Lokal α-präsentierbare Kategorien , 1971 .
[3] Gert Smolka,et al. Logic Programming with Polymorphically Order-Sorted Types , 1988, ALP.
[4] John Cartmell,et al. Generalised algebraic theories and contextual categories , 1986, Ann. Pure Appl. Log..
[5] Vincenzo Manca,et al. DELTA: a deduction system integrating equational logic and type assignment , 1989 .
[6] Pierre Lescanne,et al. Algebraic and Logic Programming , 1988, Lecture Notes in Computer Science.
[7] Peter D. Mosses,et al. Unified algebras and modules , 1988, POPL '89.
[8] D. Scott. Identity and existence in intuitionistic logic , 1979 .
[9] Thierry Coquand,et al. Constructions: A Higher Order Proof System for Mechanizing Mathematics , 1985, European Conference on Computer Algebra.
[10] Peter Freyd,et al. Aspects of topoi , 1972, Bulletin of the Australian Mathematical Society.
[11] J. Goguen,et al. Order-Sorted Equational Computation , 1989 .
[12] P. Burmeister. A Model Theoretic Oriented Approach to Partial Algebras , 1986 .
[13] Axel Poigné. Another Look at Parameterization Using Algebras with Subsorts , 1984, MFCS.