Publisher
Springer Berlin Heidelberg
Reference34 articles.
1. S. Abiteboul, M. Vardi, V. Vianu: Computing with Infinitary Logic, in J. Biskup, R. Hull (Eds.): Proc. 4th Int. Conf. on Database Theory, Springer LNCS 646, 1992, 113–123
2. J. R. Abrial: A Formal Approach to Large Software Construction, in J. L. A. Van de Snepscheut (Ed.), Mathematics of Program Construction, Springer LNCS, vol. 375, 1989, 1–20
3. R. M. Amadio, L. Cardelli: Subtyping Recursive Types, ACM TOPLAS, vol. 15 (4), 1993, 575–631
4. M. P. Atkinson, P. Buneman: Types and Persistence in Database Programming Languages, ACM Comp. Surveys, vol. 19 (2), 1987, 105–190
5. M. Barr, C. Wells: Category Theory for Computing Science, Prentice-Hall 1990