A Higher-order Calculus and Theory Abstraction

Research output: Chapter in Book/Report/Conference proceedingOther contribution

Original languageEnglish
Title of host publicationLFCS Report Series
Publication statusPublished - 1988

Cite this