E-ccc: Between ccc and topos

DOI10.1016/0304-3975(89)90097-2zbMATH Open0666.18005OpenAlexW2054596121MaRDI QIDQ1117018

Could not fetch data.

Publication date: 1989

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(89)90097-2

zbMATH Keywords

toposcartesian closed category\(\lambda \) - calculuse-cccexecutabilityextended abstract data type theory

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Categorical logic, topoi (03G30) Topoi (18B25) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Combinatory logic and lambda calculus (03B40)

Cites Work

• Title not available (Why is that?)
• The lambda calculus, its syntax and semantics

Related Items (1)

E-ccc: between ccc and topos, - its expressive power from the viewpoint of data type theory

This page was built for publication: E-ccc: Between ccc and topos

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1117018)