Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Beeson, M. J., Foundations of Constructive Mathematics, Springer-Verlag: New York, 1985
2. Bloomfield, R., et al (eds.), VDM 88: VDM — The Way Ahead, Proceedings of the 2nd VDM symposium, Dublin, Ireland, Lecture Notes in Computer Science 328, 1988.
3. Hayashi, S. and Nakano, T., PX: A Computational Logic, Publications of Research Institute for Mathematical Sciences, Kyoto University, Tokyo, 1987.
4. Henson, M. C. Program Development in the Constructive Theory TK, Formal Aspects of Computing 1, pp. 173–189, 1989.
5. Henson, M. C., Realizability Models for Program Construction, Proceedings of Groningen conference on Mathematics of Program Construction, Lecture Notes in Compute 375, pp. 256–272, 1989.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献