Authors: KATZENELSON J PINTER SS SCHENFELD E

Citation: J. Katzenelson et al., TYPE MATCHING, TYPE-GRAPHS, AND THE SCHANUEL CONJECTURE, ACM transactions on programming languages and systems, 14(4), 1992, pp. 574-588