scientific article; zbMATH DE number 1405668
From MaRDI portal
Publication:4938649
zbMath0938.03026MaRDI QIDQ4938649
Publication date: 23 February 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cartesian closed categoryclosed Freyd-categoryfragment of a call-by-value programming languagesemantics for the computational \(\lambda\)-calculussimple indexed categories
Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Combinatory logic and lambda calculus (03B40)
Related Items (16)
Normalization by evaluation and algebraic effects ⋮ A Semantical Approach to Equilibria and Rationality ⋮ Freyd categories are enriched Lawvere theories ⋮ On the call-by-value CPS transform and its semantics ⋮ LNL polycategories and doctrines of linear logic ⋮ Promonads and String Diagrams for Effectful Categories ⋮ Cartesian effect categories are Freyd-categories ⋮ Unnamed Item ⋮ Unnamed Item ⋮ On the semantics of parsing actions ⋮ Modelling environments in call-by-value programming languages. ⋮ A Truly Concurrent Game Model of the Asynchronous $$\pi $$-Calculus ⋮ A game semantics of names and pointers ⋮ What is a Categorical Model of Arrows? ⋮ Models for the computational λ-calculus ⋮ Traced Premonoidal Categories
This page was built for publication:
