1 Record(s) Found:
Hillebrand, Gerd
(Ph.D.: Computer Science, 1994)
Title:
Finite model theory in the simply typed Lambda Calculus
Advisor:
Kanellakis, Paris C.
