scientific article; zbMATH DE number 4127475

zbMath0688.18005MaRDI QIDQ4206923

Joachim Lambek

Publication date: 1989

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

cartesian closed categorybicartesian closed categoriesleast fixpoints of endofunctorspolynomial objectrealizability universe of Hyland

Mathematics Subject Classification ID

Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Related Items

Tail recursion through universal invariants, Infinite hypergraphs. I: Basic properties