scientific article; zbMATH DE number 6109838

DOI10.4230/LIPIcs.CSL.2012.259zbMath1252.03142MaRDI QIDQ4649551

Thomas Ehrhard

Publication date: 22 November 2012

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

linear logicdenotational semanticslambda-calculus

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Combinatory logic and lambda calculus (03B40)

Related Items (17)

Taylor expansion, finiteness and strategies ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Node Replication: Theory And Practice ⋮ Quantitative global memory ⋮ Tight typings and split bounds, fully developed ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The spirit of node replication ⋮ Unnamed Item ⋮ The bang calculus revisited ⋮ The bang calculus revisited ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A Fresh Look at the λ-Calculus ⋮ Essential and relational models ⋮ On reduction and normalization in the computational core

This page was built for publication: