Searching for "Predicative Programming - A Survey." – sorted by Relevance.
-
A Method of Program Refinement
- . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29 3 Predicative Programming---A Survey 31 3.1 Introduction
- Cited by 9 (0 self) – Add To MetaCart

