Searching for "Towards a Calculus of Data Refinement." – sorted by Relevance.
-
Two-Categories and Program Structure
- :105--112, 1983. [CU89] Wei Chen and Jan Tijmen Udding. Towards a calculus of data refinement. In Proceedings
- Add To MetaCart

