Preface to the special volume

DOI10.1016/J.TCS.2010.12.015zbMATH Open1213.03043OpenAlexW4211175950MaRDI QIDQ534064FDOQ534064

Pierre-Louis Curien

Publication date: 10 May 2011

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2010.12.015

zbMATH Keywords

programming languagesproof theory

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Cites Work

• Decision problems for propositional linear logic
• On full abstraction for PCF: I, II and III
• Full abstraction for PCF
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Logic of Bunched Implications
• Linear logic
• Strong normalization property for second order linear logic
• The system \({\mathcal F}\) of variable types, fifteen years later
• A calculus of mobile processes. I
• Light linear logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Locus solum: From the rules of logic to the logic of rules.
• Title not available (Why is that?)
• A filter lambda model and the completeness of type assignment
• Title not available (Why is that?)
• The calculus of constructions
• Title not available (Why is that?)
• A new constructive logic: classic logic
• Logic Programming with Focusing Proofs in Linear Logic
• Games and full completeness for multiplicative linear logic
• Bistructures, bidomains and linear logic
• Title not available (Why is that?)
• Localisation and interaction in one dimension
• Interpreting a finitary pi-calculus in differential interaction nets
• Title not available (Why is that?)
• Abstract Böhm trees
• On the symmetry of sequentiality
• Syntax vs. semantics: A polarized approach
• Title not available (Why is that?)
• Title not available (Why is that?)
• Automatic synthesis of typed \(\Lambda\)-programs on term algebras
• The linear abstract machine
• Sequential algorithms on concrete data structures
• Typing and computational properties of lambda expressions
• Linear continuation-passing
• Focalisation and Classical Realisability
• The Expressiveness of Simple and Second-Order Type Structures
• Lambda‐Calculus Models and Extensionality
• A Uniform Proof-theoretic Investigation of Linear Logic Programming
• A new deconstructive logic: linear logic
• Title not available (Why is that?)
• Lilac: a functional programming language based on linear logic
• From petri nets to linear logic
• Title not available (Why is that?)

Cited In (2)

• Preface: A volume dedicated to Brian Davey for his 65th birthday
• Preface: A tribute to Charles Stein

Uses Software

• Automath
• Lilac

   Recommendations

• Title not available (Why is that?) 👍 👎
• Preface to the special issue 👍 👎
• Preface to the special issue 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Preface to the special issue, CMAM 2011, no. 3. 👍 👎
• Preface to the special issue 👍 👎
• Preface (to the special issue) 👍 👎
• Preface of the special issue 👍 👎
• Preface to this special issue 👍 👎

This page was built for publication: Preface to the special volume

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q534064)