CITATION STYLE
Gray, J. W. (1991). Order-enriched sketches for typed lambda calculi. (pp. 105–130). https://doi.org/10.1007/bfb0084216
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley