A recursive second order initial algebra specification of primitive recursion

✍ Scribed by Karl Meinke

• Publisher: Springer-Verlag
• Year: 1994
• Tongue: English
• Weight: 579 KB
• Volume: 31
• Category: Article
• ISSN: 0001-5903
• DOI: 10.1007/bf01178510