A Higher-order Calculus and Theory Abstraction - Research - Royal Holloway, University of London

Home > Computer Science home > Research > Profile > Publications > A Higher-order Calculus and Theory Abstraction

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

LFCS Report Series. 1988.

Research output: Chapter in Book/Report/Conference proceeding › Other contribution

Published

ID: 1774719

Research

Profile

Royal Holloway, University of London
Egham,
Surrey,
TW20 0EX

T: +44 (0)1784 434455 T: +44 (0)1784 434455