Last update: Sat Oct 14 02:54:20 MDT 2017
@Article{Gray:1991:OES, author = "John W. Gray", title = "Order-enriched sketches for typed lambda calculi.", journal = j-LECT-NOTES-MATH, volume = "1488", pages = "105--130", year = "1991", CODEN = "LNMAA2", DOI = "https://doi.org/10.1007/BFb0084216", ISBN = "3-540-54706-1 (print), 3-540-46435-2 (e-book)", ISBN-13 = "978-3-540-54706-8 (print), 978-3-540-46435-8 (e-book)", ISSN = "0075-8434 (print), 1617-9692 (electronic)", ISSN-L = "0075-8434", MRclass = "68Q65 (03B40 03G30 18C10)", MRnumber = "1173008 (93h:68091)", MRreviewer = "Bart Jacobs", bibdate = "Fri May 9 19:07:22 MDT 2014", bibsource = "http://www.math.utah.edu/pub/tex/bib/lnm1990.bib", URL = "http://link.springer.com/chapter/10.1007/BFb0084216/", acknowledgement = ack-nhfb, book-DOI = "https://doi.org/10.1007/BFb0084207", book-URL = "http://www.springerlink.com/content/978-3-540-46435-8", fjournal = "Lecture Notes in Mathematics", journal-URL = "http://link.springer.com/bookseries/304", }