A recursion theorem for predicate transformers on inductive data types

Research output: Contribution to journalArticlepeer-review

4 Scopus citations
Original languageEnglish
Pages (from-to)329-336
Number of pages8
JournalInformation Processing Letters
Volume50
Issue number6
DOIs
StatePublished - 27 Jun 1994

Keywords

  • Catamorphism
  • Higher types
  • Inductive data type
  • Lax exponent
  • Predicate transformer
  • Programming calculi, Refinement calculus

Cite this