scientific article; zbMATH DE number 6258123
From MaRDI portal
Publication:5395726
zbMath1281.68058MaRDI QIDQ5395726
No author found.
Publication date: 17 February 2014
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items (3)
Game semantics of Martin-Löf type theory ⋮ A curry-style semantics of interaction: from untyped to second-order lazy \(\lambda\mu\)-calculus ⋮ Game Semantics for Bounded Polymorphism
This page was built for publication:
