Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
References
Burstall, R. M.; Darlington, John. A transformation system for developing recursive programs. Journal of the Association for Computing Machinery; 1977 January; 24(1): 44–67.
Goldblatt, Robert. Topoi: The categorical Analysis of Logic. rev. ed. Amsterdam: North-Holland; 1984. (Barwise, J. et al, eds. Studies in logic and the foundations of mathematics; 98).
Gougen, Joseph A.; Thatcher, J. W. Initial Algebra Semantics. Yorktown Heights, NY: IBM; 1984: IBM Report No. RC-4865.
Green, Cordell; Westfold, Stephen. Knowledge-based programming self applied. In: Machine Intelligence 10. New York: Ellis Horwood Limited, Halsted Press; 1982.
Lambek, J.; Scott, P. J. Intuitionist type theory and the free topos. Journal of Pure and Applied Algebra; 1980 Dec; 19: 215–257.
Milner, Robin. A theory of type polymorphism in programming. Journal of Computer and System Sciences; 1978; 17: 348–375.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Graves, H., Blaine, L. (1985). The Algos computational system. In: Caviness, B.F. (eds) EUROCAL '85. EUROCAL 1985. Lecture Notes in Computer Science, vol 204. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-15984-3_260
Download citation
DOI: https://doi.org/10.1007/3-540-15984-3_260
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15984-1
Online ISBN: 978-3-540-39685-7
eBook Packages: Springer Book Archive