A recursion theorem for predicate transformers on inductive data types

✍ Scribed by David A. Naumann

• Publisher: Elsevier Science
• Year: 1994
• Tongue: English
• Weight: 565 KB
• Volume: 50
• Category: Article
• ISSN: 0020-0190
• DOI: 10.1016/0020-0190(94)00049-2