Robert L. Constable

2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

A causal logic of events in formalized computational type theory

Mark Bickford and others (2005) · Cornell University Department of Computer Science

Proofs as programs

Joseph L. Bates and others (1985) · ACM Transactions on Programming Languages and Systems · Association for Computing Machinery (ACM)