Author:
Möller Bernhard,Tarlecki Andrzej,Wirsing Martin
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. F.L. Bauer, H. Wössner: Algorithmic Language and Program Development. Berlin: Springer, 1982.
2. M. Broy, C. Pair, M. Wirsing: A systematic study of models of abstract data Types. Theoretical Computer Science 33, 1984, 139–174.
3. M. Broy: Partial interpretations of higher order algebraic types. Lecture Notes of the International Summer School on Logic of Programming and Calculi of Discrete Design, Marktoberdorf, 1986.
4. Lecture Notes in Computer Science;R. M. Burstall,1980
5. P. Dybjer: Category-theoretic logics and algebras of programs. Chalmers University of Technology at Göteborg, Dept. of Computer Science, Ph. D. Thesis, 1983.
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献