Formal Theories and Software Systems, by Robert L. Constable

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.