Embedding Markov normal algorithms within the λ-calculus

References

• Bohm , C. 1966 . “ The CUCH as a Formal and Description Language ” . In Formal Language Description Languages for Computer Programming , Amsterdam : North-Holland Publishing Company .
   Google Scholar
• Debakker , J.W. 1967 . Formal Definition of Programming Languages , Amsterdam : Mathematisch Centrun . with application to the definition of ALGOL 60
   Google Scholar
• Caracciolo Di Forino , A. 1964 . “ Generalized Markov Algorithms and Automata ” . In Lecture delivered at the International Summer School of Physics Course on Automata Theory Ravello , , Italy
   Google Scholar
• Caracciolo Di Forino , A. 1968 . “ String processes and generalized Markov algorithm ” . In Symbol Manipulation Languages and Techniques , Amsterdam : North-Holland Publishing Company .
   Google Scholar
• Church , Alonzo. 1941 . The Calculi of Lambda-Conversion, Annals of Mathematical Studies , Princeton , New Jersey : Princeton University Press . Anals of Mathematical Studies, Number 6
   Google Scholar
• Cohen , Kenneth. and Weystein , J.H. 1965 . AXLE: An Axiomatic Language for String Transformations . Comm. ACM , 8 ( 11 )
   Web of Science ®Google Scholar
• Curry , Haskell B. and Feys , Robert. 1958 . Combinatory Logic , Vol. 1 , Amsterdam : North-Holland Publishing Company .
   Google Scholar
• Galler , Bernard A. and Perlis , Alan J. 1970 . A View of Programming Languages , Reading , , Massachusetts : Addison-Wesley Publishing Company .
   Google Scholar
• Kaluzhnin , L.A. 1961 . Algorithmization of Mathematic Problems . Problems of Cyber-netics , 2 : 371 – 391 . This reference analyzes the advantages and shortcomings of Markov algorithms
   Google Scholar
• Landin , Peter J. 1965 . A Correspondence Between ALGOL 60 and Church's Lambda-Notation . Comm. ACM , 8 ( 2-3 ) February
   Google Scholar
• Landin , Peter J. 1966 . “ The λ-Calculus Approach ” . In Advances in Programming and Non-Numerical Computation , New York : Pergamon Press .
   Google Scholar
• Ledgard , Henry F. 1969 . A Formal System for Defining the Sytax and Semantics of Computer Languages , Cambridge , , Mass : M.I.T . Project MAC Technical Report No. 60(PhD dissertation)
   Google Scholar
• Markov , Andrei A. 1954 . Theory of Algorithms , Moscow : Academy of Sciences of the USSR . English Translation by Israel Program for Scientific Translations
   Google Scholar
• Morris , james H. December 1968 . Lamda Calculus Models of Programming Languages , December , MIT . Ph.D. dissertation
   Google Scholar
• Zeleznikar , Anton P. 1963 . Some Algorithm Theory and its Applicability . American Mathematical Society Translations , 18 : 141 – 158 . Series 2, This reference describes a 2-dimensionaI variant of Markov algorithms
   Google Scholar