Lins, R. D. A new formula for the execution of categorical combinators. (English) Zbl 0642.68030 Automated deduction, Proc. 8th Int. Conf., Oxford/Engl. 1986, Lect. Notes Comput. Sci. 230, 89-98 (1986). MSC: 68Q65 03B40 18D15 PDFBibTeX XML
Mulmuley, Ketan Fully abstract submodels of typed lambda calculi. (English) Zbl 0633.03006 J. Comput. Syst. Sci. 33, 2-46 (1986). Reviewer: C.Masalagiu MSC: 03B40 03C65 68Q65 06B99 PDFBibTeX XMLCite \textit{K. Mulmuley}, J. Comput. Syst. Sci. 33, 2--46 (1986; Zbl 0633.03006) Full Text: DOI
Rezus, Adrian Semantics of constructive type theory. (English) Zbl 0632.03047 Libertas Math. 6, 1-82 (1986). Reviewer: B.van Rootselaar MSC: 03F50 03B40 PDFBibTeX XMLCite \textit{A. Rezus}, Libertas Math. 6, 1--82 (1986; Zbl 0632.03047)
Moggi, Eugenio Categories of partial morphisms and the \(\lambda _ p\)-calculus. (English) Zbl 0628.03007 Category theory and computer programming, Workshop Guildford/U.K. 1985, Lect. Notes Comput. Sci. 240, 242-251 (1986). MSC: 03B40 18D15 68Q60 03G30 PDFBibTeX XML
Abramsky, Samson Strictness analysis and polymorphic invariance. (English) Zbl 0624.68034 Programs as data objects, Proc. Workshop, Copenhagen/Den. 1985, Lect. Notes Comput. Sci. 217, 1-23 (1986). MSC: 68Q65 68Q60 03B40 PDFBibTeX XML
Asperti, Andrea; Longo, Giuseppe Relating type-structures. Partial variations on a theme of Friedman and Statman. (English) Zbl 0624.68033 Trees in algebra and programming, Proc. 11th Colloq., Nice/France 1986, Lect. Notes Comput. Sci. 214, 266-287 (1986). MSC: 68Q65 03B40 68Q60 PDFBibTeX XML
Troelstra, A. S. Strong normalization for typed terms with surjective pairing. (English) Zbl 0624.03043 Notre Dame J. Formal Logic 27, 547-550 (1986). MSC: 03F35 03F50 03B40 PDFBibTeX XMLCite \textit{A. S. Troelstra}, Notre Dame J. Formal Logic 27, 547--550 (1986; Zbl 0624.03043) Full Text: DOI
Lambek, J. Cartesian closed categories and typed \(\lambda\)-calculi. (English) Zbl 0623.03014 Combinators and functional programming languages, Proc. 13th Spring Sch. LITP, Val d’Ajol/France 1985, Lect. Notes Comput. Sci. 242, 136-175 (1986). Reviewer: J.Zlatuska MSC: 03B40 18D15 03F55 18B25 68Q65 PDFBibTeX XML
Dybjer, Peter Category theory and programming language semantics: an overview. (English) Zbl 0621.68001 Category theory and computer programming, Workshop Guildford/U.K. 1985, Lect. Notes Comput. Sci. 240, 165-181 (1986). MSC: 68Q60 18D15 PDFBibTeX XML
Janssen, T. M. V. Foundations and applications of Montague grammar. Part 2: Applications to natural language. (English) Zbl 0604.03001 CWI Tracts, 28. Centrum voor Wiskunde en Informatica. Amsterdam: Mathematisch Centrum. V, 237 p. Dfl. 36.80 (1986). Reviewer: P.Materna MSC: 03-02 03B65 68-02 68Q55 08A40 08A55 03B15 03B45 03B40 PDFBibTeX XML
Barendregt, Henk; van Leeuwen, Marc Functional programming and the language TALE. (English) Zbl 0597.68016 Current trends in concurrency, overviews and tutorials, Lect. Notes Comput. Sci. 224, 122-207 (1986). Reviewer: C.Masalagiu MSC: 68N01 03B40 PDFBibTeX XML
Böhm, Corrado Reducing recursion to iteration by algebraic extension. (English) Zbl 0596.68010 Programming, Proc. Eur. Symp., Saarbrücken/FRG 1986, Lect. Notes Comput. Sci. 213, 111-118 (1986). MSC: 68N01 68P05 PDFBibTeX XML
Lambek, J.; Scott, P. J. Introduction to higher order categorical logic. (English) Zbl 0596.03002 Cambridge Studies in Advanced Mathematics, 7. Cambridge etc.: Cambridge University Press. IX, 293 p. £30.00; $ 49.50 (1986). Reviewer: P.T.Johnstone MSC: 03-02 18-02 03G30 03F50 03B40 03B15 18A15 18B25 18D15 18-01 03-01 PDFBibTeX XML
Poigné, Axel On specifications, theories, and models with higher types. (English) Zbl 0591.68019 Inf. Control 68, 1-46 (1986). MSC: 68P05 03B40 PDFBibTeX XMLCite \textit{A. Poigné}, Inf. Control 68, 1--46 (1986; Zbl 0591.68019) Full Text: DOI
Janssen, T. M. V. Foundations and applications of Montague grammar. Part 1: Philosophy, framework, computer science. (English) Zbl 0586.03002 CWI Tracts, 19. Centrum voor Wiskunde en Informatica. Amsterdam: Mathematisch Centrum. IV, 205 p. Dfl. 31.30 (1986). Reviewer: P.Materna MSC: 03-02 68-02 03B65 68Q55 03B15 03B45 08A99 03G15 PDFBibTeX XML