Editing Christopher Strachey (section)

==Publications==
* {{cite conference |last1=Strachey |first1=Christopher |date=1952 |title=Logical or Non-Mathematical Programmes |url=https://dl.acm.org/doi/10.1145/800259.808992 |book-title=Proceedings of the 1952 ACM national meeting |location=Toronto |publisher=ACM |pages=46–49 |doi=10.1145/800259.808992 |doi-access=|url-access=subscription }}
* {{cite magazine |last1=Strachey |first1=Christopher |date=1954 |title=The "Thinking" Machine  |magazine=Encounter |pages=25–31}}
* {{cite journal |last1=Strachey |first1=Christopher |date=1959 |title=Programme-Controlled Time Sharing |journal=Proceedings of the IEE - Part B: Electronic and Communication Engineering |volume=106 |issue=29 |pages=462 |doi=10.1049/pi-b-2.1959.0311 |doi-access=free}}
* {{cite journal |last1=Strachey |first1=Christopher |date=1959 |title=On Taking the Square Root of a Complex Number |url=https://academic.oup.com/comjnl/article/2/2/89/443682 |journal=[[The Computer Journal]] |volume=2 |issue=2 |pages=89 |doi=10.1093/comjnl/2.2.89 |doi-access=free}}
* {{cite conference |last1=Strachey |first1=Christopher |date=1959 |title=Time Sharing in Large, Fast Computers |url=https://dblp.uni-trier.de/db/conf/ifip/ifip1959.html |book-title=Proceedings of the 1st International Conference on Information Processing |location=Paris |publisher=[[UNESCO]] |pages=336–341 |doi= |doi-access=}}
* {{cite journal |last1=Strachey |first1=Christopher |date=1960 |title=Two Contributions to the Techniques of Queuing Problems |url=https://academic.oup.com/comjnl/article/3/2/114/504851 |journal=[[The Computer Journal]] |volume=3 |issue=2 |pages=114–116 |doi=10.1093/comjnl/3.2.114 |doi-access=free}}
* {{cite journal |last1=Strachey |first1=Christopher |date=1961 |title=Bitwise Operations |journal=Communications of the ACM |volume=4 |issue=3 |pages=146 |doi=10.1145/366199.366254 |s2cid=7359297 |doi-access=free}}
* {{cite journal |last1=Strachey |first1=Christopher |last2=Wilkes |first2=Maurice |date=1961 |title=Some Proposals for Improving the Efficiency of ALGOL 60 |journal=Communications of the ACM |volume=4 |issue=11 |pages=488–491 |doi=10.1145/366813.366816 |s2cid=8757176 |doi-access=free}}
* {{cite journal |last1=Strachey |first1=Christopher |last2=Francis |first2=John |date=1961 |title=The Reduction of a Matrix to Codiagonal Form by Eliminations |url=https://academic.oup.com/comjnl/article/4/2/168/383464 |journal=[[The Computer Journal]] |volume=4 |issue=2 |pages=168–176 |doi=10.1093/comjnl/4.2.168 |doi-access=free}}
* {{cite journal |last1=Strachey |first1=Christopher |date=1962 |title=Book Reviews |url=https://academic.oup.com/comjnl/article/5/2/152/340910 |journal=[[The Computer Journal]] |volume=5 |issue=2 |pages=152–153 |doi=10.1093/comjnl/5.2.152 |doi-access=free}}
* {{cite journal |last1=Barron |first1=David |last2=Buxton |first2=John |last3=Hartley |first3=David |last4=Nixon |first4=Eric |last5=Strachey |first5=Christopher |date=1963 |title=The Main Features of CPL |url=https://academic.oup.com/comjnl/article/6/2/134/364746 |journal=[[The Computer Journal]] |volume=6 |issue=2 |pages=134–143 |doi=10.1093/comjnl/6.2.134 |doi-access=free}}
* {{cite journal |last1=Strachey |first1=Christopher |date=1965 |title=An Impossible Program |url=https://academic.oup.com/comjnl/article/7/4/313/354243 |journal=[[The Computer Journal]] |volume=7 |issue=4 |pages=313 |doi=10.1093/comjnl/7.4.313 |doi-access=free}}
* {{cite journal |last1=Strachey |first1=Christopher |date=1965 |title=A General Purpose Macrogenerator |url=https://academic.oup.com/comjnl/article/8/3/225/336044 |journal=[[The Computer Journal]] |volume=8 |issue=3 |pages=225–241 |doi=10.1093/comjnl/8.3.225 |doi-access=free}}
* {{cite magazine |last1=Strachey |first1=Christopher |date=1966 |title=System Analysis and Programming |url=https://www.scientificamerican.com/article/system-analysis-and-programming/ |magazine=Scientific American |volume=215 |issue=3 |pages=112–127 |doi= |doi-access=}}
* {{cite conference |last1=Strachey |first1=Christopher |date=1966 |title=Towards a Formal Semantics |url= |book-title=Proceedings of the IFIP Working Conference on Formal Language Description Languages |location=Amsterdam |publisher=North Holland |pages=198–220 |doi= |doi-access=}}
* {{cite tech report |last1=Strachey |first1=Christopher |date=1967 |title=Fundamental Concepts in Programming Languages |url= |institution=Lecture notes for the International Summer School in Computer Programming at Copenhagen |number=}} Also: {{cite journal |last1=Strachey |first1=Christopher |date=2000 |title=Fundamental Concepts in Programming Languages |url=https://link.springer.com/article/10.1023%2FA%3A1010000313106 |journal=Higher-Order and Symbolic Computation |volume=13 |issue=1–2 |pages=11–49 |doi=10.1023/A:1010000313106 |s2cid=14124601 |doi-access=|url-access=subscription }}
* {{cite tech report |last1=Scott |first1=Dana |last2=Strachey |first2=Christopher |date=1971 |title=Toward a Mathematical Semantics for Computer Languages |url=https://www.cs.ox.ac.uk/publications/publication3723-abstract.html |institution=Oxford University Computing Laboratory, Programming Research Group |number=PRG06}} Also: {{cite conference |last1=Scott |first1=Dana |last2=Strachey |first2=Christopher |date=1971 |title=Toward a Mathematical Semantics for Computer Languages |url= |book-title=Proceedings of the Symposium on Computers and Automata |location=New York |publisher=[[Polytechnic Institute of Brooklyn]] |pages=19–46 |doi= |doi-access=}}
* {{cite conference |last1=Strachey |first1=Christopher |date=1972 |title=Varieties of Programming Language |url= |book-title=Proceedings of the International Computing Symposium |location=Venice |publisher=[[Cini Foundation]] |pages=222–233 |doi= |doi-access=}} Also: {{cite tech report |last1=Strachey |first1=Christopher |date=1973 |title=The Varieties of Programming Language |url=http://www.cs.ox.ac.uk/publications/publication3727-abstract.html |institution=Oxford University Computing Laboratory, Programming Research Group |number=PRG10}}
* {{cite journal |last1=Stoy |first1=Joseph |last2=Strachey |first2=Christopher |date=1972 |title=OS6—An Experimental Operating System for a Small Computer. Part 1: General Principles and Structure |url=https://academic.oup.com/comjnl/article/15/2/117/350018 |journal=[[The Computer Journal]] |volume=15 |issue=2 |pages=117–124 |doi=10.1093/comjnl/15.2.117 |doi-access=free}}
* {{cite journal |last1=Stoy |first1=Joseph |last2=Strachey |first2=Christopher |date=1972 |title=OS6—An Experimental Operating System for a Small Computer. Part 2: Input/Output and Filing System |url=https://academic.oup.com/comjnl/article/15/3/195/480542 |journal=[[The Computer Journal]] |volume=15 |issue=3 |pages=195–203 |doi=10.1093/comjnl/15.3.195 |doi-access=free|url-access=subscription }}
* {{cite tech report |last1=Strachey |first1=Christopher |last2=Stoy |first2=Joseph |date=1972 |title=The Text of OSPub |url=https://www.cs.ox.ac.uk/publications/publication3726-abstract.html |institution=Oxford University Computing Laboratory, Programming Research Group |number=PRG09}}
* {{cite tech report |last1=Strachey |first1=Christopher |last2=Wadsworth |first2=Christopher |date=1974 |title=Continuations: A Mathematical Semantics for Handling Full Jumps |url=http://www.cs.ox.ac.uk/publications/publication3729-abstract.html |institution=Oxford University Computing Laboratory, Programming Research Group |number=PRG11}} Also: {{cite journal |last1=Strachey |first1=Christopher |last2=Wadsworth |first2=Christopher |date=2000 |title=Continuations: A Mathematical Semantics for Handling Full Jumps |url=https://link.springer.com/article/10.1023%2FA%3A1010026413531 |journal=Higher-Order and Symbolic Computation |volume=13 |issue=1–2 |pages=135–152 |doi=10.1023/A:1010026413531 |s2cid=10673265 |doi-access=|url-access=subscription }}
* {{cite book |last1=Milne |first1=Robert |last2=Strachey |first2=Christopher |date=1976 |title=A Theory of Programming Language Semantics |url=https://www.springer.com/gp/book/9781504128339 |location=New York |publisher=Springer |isbn=978-1-5041-2833-9}}