scientific article
From MaRDI portal
Publication:3760508
zbMath0623.03014MaRDI QIDQ3760508
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
typed lambda-calculuscartesian closed categoriesnatural number objectequational presentationsurjective pairing
Abstract data types; algebraic specification (68Q65) Topoi (18B25) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Intuitionistic mathematics (03F55) Combinatory logic and lambda calculus (03B40)
Related Items
Cartesian Monoids, The linear abstract machine, An intersection problem for finite automata, Rings of continuous functions with values in a topological division ring, Formal categorical reasoning, Codatatypes in ML, A category-theoretic characterization of functional completeness, Relations in operational categories, The Mori property in rings with zero divisors. II., List-arithmetic distributive categories: Locoi, Cartesian categories with natural numbers object, An internal language for autonomous categories, Krull rings, Prüfer \(v\)-multiplication rings and the ring of finite fractions
