Author:
Codescu Mihai,Horozal Fulya,Kohlhase Michael,Mossakowski Till,Rabe Florian
Publisher
Springer Berlin Heidelberg
Reference30 articles.
1. Lecture Notes in Computer Science;S. Autexier,2000
2. Astesiano, E., Kreowski, H.-J., Krieg-Brückner, B.: Algebraic Foundations of Systems Specification. Springer, Heidelberg (1999)
3. Barendregt, H.: Lambda calculi with types. In: Abramsky, S., Gabbay, D., Maibaum, T. (eds.) Handbook of Logic in Computer Science, vol. 2, Oxford University Press (1992)
4. Lecture Notes in Computer Science;R. Burstall,1980
5. Bergstra, J.A., Heering, J., Klint, P.: Module algebra. J. ACM 37(2), 335–372 (1990)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Coq Library as a Theory Graph;Lecture Notes in Computer Science;2019
2. How to identify, translate and combine logics?;Journal of Logic and Computation;2014-12-14
3. A scalable module system;Information and Computation;2013-09