Relative Complexity of Algebras (1981)

View PDF

Download Links

by Nancy A. Lynch, et al.
Citations:3 - 1 self

Documents Related by Co-Citation

716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
1353 Monads for functional programming – Philip Wadler - 1995
774 Parallel program design : a foundation – K M Chandy, J Misra - 1988
515 Institutions: Abstract model theory for specification and programming – J Goguen, R Burstall - 1992
1344 Smalltalk-80: The Language and its Implementation – A Goldberg, D Robson - 1983
1626 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
798 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
548 A Computational Logic – R S Boyer, J S Moore - 1979
473 Can programming be liberated from the von Neumann style? A functional style and its algebra of programs. j-CACM – J Backus - 1978