Author:
Hewitt Carl,Bishop Peter,Steiger Richard,Greif Irene,Smith Brian,Matson Todd,Hale Roger
Publisher
Springer Berlin Heidelberg
Reference48 articles.
1. Barton, R.S."Ideas for Computer Systems Organization: A personal Survey" Software Engineering 1. Academic Press. 1970.
2. Bobrow D., and Wegbreit, Ben."A Model for Control Structures for Artific Artificial Intelligence Programming Languages" IJCAI-73. August, 1973.
3. Bochmann, G.V."Multiple Exits from a loop Without the GOTO" CACM. July, 1973. pp.443–444.
4. Cadiou, J.M. and Levy,"Mechanizable Proofs about Parallel Processes" SWAT. October, 73.
5. Church, A."The Calculi of Lambda Concersion" Annals of Mathematical Studies 6. Princeton University Press. 1941, 2nd edition 1951.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献