Formal Theories and Software Systems: Fundamental Connections between Computer Science and Logic
by Robert L. Constable
Future Tendencies in Computer Science: Control and Applied Mathematics, A. Bensoussan and J.-P. Verjus (eds.), LNCS 653, pp. 105-127, Springer-Verlag, 1992.
Sorry, there are no downloadable files available for this document at this time.