A recursion theorem for predicate transformers on inductive data types
- 27 June 1994
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 50 (6), 329-336
- https://doi.org/10.1016/0020-0190(94)00049-2
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Inductive data types for predicate transformersInformation Processing Letters, 1992
- Pre-adjunctions in order enriched categoriesMathematical Structures in Computer Science, 1991