Authors: C.A.Backer-Finch

Citation: C.a.backer-finch, Type Theory and Projections for Static Analysis, LISP and symbolic computation , 8(3), 1995, pp. 267-284