Original language | English |
---|---|
Pages (from-to) | 329-336 |
Number of pages | 8 |
Journal | Information Processing Letters |
Volume | 50 |
Issue number | 6 |
DOIs | |
State | Published - 27 Jun 1994 |
Keywords
- Catamorphism
- Higher types
- Inductive data type
- Lax exponent
- Predicate transformer
- Programming calculi, Refinement calculus