Advertisement

Continuous semantics and inside-out reductions

  • P. H. Welch
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 37)

Keywords

Normal Form Inverse Limit Reduction Rule Semantic Function Combinatory Logic 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [0]
    Barendregt,H.P.: “Some Extensional Term Models for Combinatory Logics and λ-Calculi”: Ph.D. Thesis, Utrecht (1971).Google Scholar
  2. [1]
    Curry,H.B., Feys,R.: “Combinatory Logic — Volume I”: North-Holland, Amsterdam (1958).Google Scholar
  3. [2]
    Lévy,J-J.: “Another Syntactic Model of the λ-κ-β-Calculus”: Symposium on λ-Calculus and Computer Sciences Theory, Roma (1975)Google Scholar
  4. [3]
    Lévy,J-J.: “Réductions Sures dans le Lambda-Calcul”: Diplome de Docteur de 3e Cycle, Universite Paris VII (1974).Google Scholar
  5. [4]
    Park,D.M.R.: “The Y-Combinator in Scott's Lambda-Calculus Models”: Unpublished notes, University of Warwick (1970).Google Scholar
  6. [5]
    Reynolds,J.C.: “Notes on a Lattice-Theoretic Approach to the Theory of Computation”: Systems and Information Science, Syracuse University (1972).Google Scholar
  7. [6]
    Scott,D.: “Continuous Lattices”: Technical Monograph PRG-7, Oxford University Computing Laboratory, Programming Research Group (1970).Google Scholar
  8. [7]
    Scott,D.: “Data Types as Lattices”: Unpublished lecture notes, Oxford (1973).Google Scholar
  9. [8]
    Scott,D.: “The Lattice of Flow Diagrams”: PRG-3 (1970).Google Scholar
  10. [9]
    Wadsworth,C.P.: “Semantics and Pragmatics of the λ-Calculus”: Ph.D. Thesis, Oxford University (1971).Google Scholar
  11. [10]
    Wadsworth,C.P.: “Typed λ-Expressions”: Unpublished notes, Oxford (1972).Google Scholar
  12. [11]
    Welch,P.H.: “The Minimal Continuous Semantics of the Lambda-Calculus”: Ph.D. Thesis (Submitted), Warwick University (1974).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1975

Authors and Affiliations

  • P. H. Welch
    • 1
  1. 1.Computer Laboratory, Cornwallis BuildingThe UniversityCanterburyEngland

Personalised recommendations