Publication:3764126
From MaRDI portal
zbMath0628.03007MaRDI QIDQ3764126
Publication date: 1986
reasoning about partial functions; call-by-value operational semantics; fragment of the logic of partial elements plus constructors for partial functions; modification of the (typed) \(\lambda \)-calculus; partial cartesian closed categories
68Q60: Specification and verification (program logics, model checking, etc.)
03G30: Categorical logic, topoi
18D15: Closed categories (closed monoidal and Cartesian closed categories, etc.)
03B40: Combinatory logic and lambda calculus
Related Items
Notions of computation and monads, A logic for Miranda, A category-theoretic characterization of functional completeness, HasCasl: integrated higher-order specification and program development, Categories of partial maps, Partiality, cartesian closedness, and toposes, A general adequacy result for a linear functional language, The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus, Pre-adjunctions in order enriched categories