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

In: Information and Computation, Vol. 90, No. 1, 1991, p. 107-137.

Research output: Contribution to journalArticle

Published
Original languageEnglish
Pages (from-to)107-137
Number of pages31
JournalInformation and Computation
Volume90
Issue number1
Publication statusPublished - 1991

ID: 1298019