Publisher
Springer Berlin Heidelberg
Reference34 articles.
1. J.A.Goguen, J.W.Thatcher, E.G.Wagner, J.B.Wright, A Uniform Approach to Inductive Posets and Inductive Closure, Proc. MFCS'77, LNCS 53, 1977, and TCS 7, 1978
2. K.Benecke, H.Reichel, Equational Partiality, Algebra Universalis 16, 1983
3. M.Broy, Partial Interpretation of Higher Order Algebraic Types, Int. Summer School, Marktoberdorf, 1986
4. P.Burmeister, A Model Theoretic Oriented Approach to Partial Algebras, Akademie Verlag, Berlin 1986
5. J.Cartmell, Generalised Algebraic Theories and Contextual Categories, PhD thesis, Oxford, Short version: Annals Pure Appl. Logic 32, 1986
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Higher-order algebra with transfinite types;Higher-Order Algebra, Logic, and Term Rewriting;1996