scientific article
From MaRDI portal
Publication:3506860
zbMath1138.03300MaRDI QIDQ3506860
Pierre-Louis Curien, Roberto M. Amadio
Publication date: 17 June 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Combinatory logic and lambda calculus (03B40)
Related Items (5)
A logical approach to stable domains ⋮ The Scott model of linear logic is the extensional collapse of its relational model ⋮ Softness of hypercoherences and MALL full completeness ⋮ Interpreting a finitary pi-calculus in differential interaction nets ⋮ Relative definability of boolean functions via hypergraphs
This page was built for publication: