Partiality, cartesian closedness, and toposes

DOI10.1016/0890-5401(89)90023-0zbMath0674.18001MaRDI QIDQ1121368

Pierre-Louis Curien, Adam Obtułowicz

Publication date: 1989

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0890-5401(89)90023-0

zbMATH Keywords

programming languages; category of partial maps; domain; dominion; automated categorical reasoning; categories with partial morphisms; category of total arrows; partial topos; partiality in lambda calculus; partially cartesian category; partially cartesian closed category

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

18B25: Topoi

18C05: Equational categories

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

03B40: Combinatory logic and lambda calculus

18A15: Foundations, relations to logic and deductive systems

Related Items

Restriction categories III: colimits, partial limits and extensivity, Cartesian effect categories are Freyd-categories, On the discretization in time for a parabolic integrodifferential equation with a weakly singular kernel. I: Smooth initial data, A category-theoretic characterization of functional completeness, Introduction to Turing categories, Partial morphisms in categories of effective objects, Categories of partial maps, A functorial semantics for multi-algebras and partial algebras, with applications to syntax., The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus, Boolean restriction categories and taut monads, A relational account of call-by-value sequentiality, PARTIALIZATION OF CATEGORIES AND INVERSE BRAID-PERMUTATION MONOIDS

Cites Work

• Topoi. The categorial analysis of logic. Rev. ed
• The categorical abstract machine
• Categories of partial maps
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item