scientific article
From MaRDI portal
Publication:3764126
zbMath0628.03007MaRDI QIDQ3764126
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
reasoning about partial functionscall-by-value operational semanticsfragment of the logic of partial elements plus constructors for partial functionsmodification of the (typed) \(\lambda \)-calculuspartial cartesian closed categories
Specification and verification (program logics, model checking, etc.) (68Q60) Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Combinatory logic and lambda calculus (03B40)
Related Items (11)
The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus ⋮ Lifting as a KZ-doctrine ⋮ Categories of partial maps ⋮ Pre-adjunctions in order enriched categories ⋮ Partiality, cartesian closedness, and toposes ⋮ A general adequacy result for a linear functional language ⋮ A logic for Miranda ⋮ A category-theoretic characterization of functional completeness ⋮ HasCasl: integrated higher-order specification and program development ⋮ Notions of computation and monads ⋮ Classifying categories for partial equational logic
This page was built for publication:
