Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. J. Barwise and S. Feferman (eds), Model-Theoretic Logics, (Springer Verlag, Berlin, 1985).
2. G. Birkhoff, On the structure of abstract algebras, Proc. Cambridge Phil. Soc. 31 (1935) 433–454.
3. M. Broy, Equational specification of partial higher-order algebras, in: M. Broy (ed) Logic of programming and calculi of discrete design, (Springer Verlag, Berlin, 1987).
4. R. Burstall, D. MacQueen and D. Sanella, Hope: an experimental applicative language, in: Proceedings, First LISP Conference, Stanford University, 1980, 136–143.
5. C.C. Chang and H.J. Keisler, Model Theory, third edition, (North Holland, Amsterdam, 1990).
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Leveraging the Information Contained in Theory Presentations;Lecture Notes in Computer Science;2020
2. Partial higher-order specifications;Mathematical Foundations of Computer Science 1991;1991
3. Universal algebra in higher types;Recent Trends in Data Type Specification;1991