Skip to main content
SpringerLink
Log in
Book cover

European Conference on Computer Algebra

EUROCAL 1985: EUROCAL '85 pp 179–180Cite as

The Algos computational system

  • Constructive And Combinatory Logic
  • Conference paper
  • First Online:

  • 90 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 204))

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.

    Google Scholar 

  • 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).

    Google Scholar 

  • Gougen, Joseph A.; Thatcher, J. W. Initial Algebra Semantics. Yorktown Heights, NY: IBM; 1984: IBM Report No. RC-4865.

    Google Scholar 

  • Green, Cordell; Westfold, Stephen. Knowledge-based programming self applied. In: Machine Intelligence 10. New York: Ellis Horwood Limited, Halsted Press; 1982.

    Google Scholar 

  • Lambek, J.; Scott, P. J. Intuitionist type theory and the free topos. Journal of Pure and Applied Algebra; 1980 Dec; 19: 215–257.

    Google Scholar 

  • Milner, Robin. A theory of type polymorphism in programming. Journal of Computer and System Sciences; 1978; 17: 348–375.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Algos Project Department of Mathematics and Computer Science, San Jose State University, 95192, San Jose, California

    Henson Graves & Lee Blaine

Authors
  1. Henson Graves
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Lee Blaine
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Bob F. Caviness

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation