The Algos computational system

  • Henson Graves
  • Lee Blaine
Constructive And Combinatory Logic
Part of the Lecture Notes in Computer Science book series (LNCS, volume 204)


Operational Semantic Deduction System High Order Logic Denotational Semantic Deductive Inference 
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.


  1. 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
  2. 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
  3. Gougen, Joseph A.; Thatcher, J. W. Initial Algebra Semantics. Yorktown Heights, NY: IBM; 1984: IBM Report No. RC-4865.Google Scholar
  4. Green, Cordell; Westfold, Stephen. Knowledge-based programming self applied. In: Machine Intelligence 10. New York: Ellis Horwood Limited, Halsted Press; 1982.Google Scholar
  5. 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
  6. Milner, Robin. A theory of type polymorphism in programming. Journal of Computer and System Sciences; 1978; 17: 348–375.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • Henson Graves
    • 1
  • Lee Blaine
    • 1
  1. 1.Algos Project Department of Mathematics and Computer ScienceSan Jose State UniversitySan Jose

Personalised recommendations