E. S. Bainbridge

Publication Activity (10 Years)

Years Active: 1974-1990
Publications (10 Years): 0

Publications

E. S. Bainbridge, Peter J. Freyd, Andre Scedrov, Philip J. Scott
Functorial Polymorphism. Theor. Comput. Sci. 70 (1) (1990)
E. S. Bainbridge
Feedback and Generalized Logic Inf. Control. 31 (1) (1976)
E. S. Bainbridge
Minimal While Programs. MFCS (1976)
E. S. Bainbridge
Adressed machines and duality. Category Theory Applied to Computation and Control (1974)