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

DOI10.1016/S0747-7171(89)80067-7zbMATH Open0693.68014OpenAlexW2074626210MaRDI QIDQ908685

Sato Hiroyuki

Publication date: 1989

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0747-7171(89)80067-7

zbMATH Keywords

cartesian closed category\(\lambda \) -calculusdata type theory

Mathematics Subject Classification ID

Data structures (68P05) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Cites Work

• E-ccc: Between ccc and topos
• The lambda calculus, its syntax and semantics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: E-ccc: between ccc and topos, - its expressive power from the viewpoint of data type theory