👤

Robert L. Constable

2 books

Books by Robert L. Constable

Logic And Program Semantics Essays Dedicated To Dexter Kozen On The Occasion Of His 60th Birthday
Logic And Program Semantics Essays Dedicated To Dexter Kozen On The Occasion Of His 60th Birthday
2012
An introduction to the PL/CV2 programming logic
An introduction to the PL/CV2 programming logic
1982