scientific article; zbMATH DE number 1497809
From MaRDI portal
Publication:4499227
zbMath0967.03025MaRDI QIDQ4499227
No author found.
Publication date: 4 March 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Foundations, relations to logic and deductive systems (18A15)
Related Items (5)
Simple free star-autonomous categories and full coherence ⋮ Exhausting strategies, joker games and full completeness for IMLL with unit ⋮ Relating categorical semantics for intuitionistic linear logic ⋮ On an interpretation of safe recursion in light affine logic ⋮ GS·Λ Theories
This page was built for publication:
