A Higher-order Calculus and Theory Abstraction. / Luo, Z.

LFCS Report Series. 1988.

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

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

ID: 1774719