On the reification of semantic linearity

DOI10.1017/S0960129514000401zbMATH Open1361.68064WikidataQ57722150 ScholiaQ57722150MaRDI QIDQ5741580FDOQ5741580

Authors Marco Gaboardi, Luca Paolini, Mauro Piccolo 

Publication date 28 July 2016

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Linearity and PCF: a semantic insight!
• Linearity: a roadmap
• The linear abstract machine
• A Process-Model for Linear Programs
• Preface: Linearity in computation

Cites work

• scientific article; zbMATH DE number 3700811 (Why is no real title available?)
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 555217 (Why is no real title available?)
• scientific article; zbMATH DE number 2238212 (Why is no real title available?)
• A stable programming language
• A theory of sequentiality
• BCK-combinators and linear \(\lambda\)-terms have types
• Computing with Functionals—Computability Theory or Computer Science?
• Definability and full abstraction
• Full abstraction for PCF
• Gödel's system \(\mathcal T\) revisited
• Linear Recursive Functions
• Linear logic
• On full abstraction for PCF: I, II and III
• Program equivalence in a linear functional language
• Sequential algorithms on concrete data structures
• Sequentiality in an extensional framework
• The Power of Linear Functions
• The sequentially realizable functionals
• The system \({\mathcal F}\) of variable types, fifteen years later

Cited in

(8)

• A Process-Model for Linear Programs
• Quasi-linear Dialectica Extraction
• Linearity: a roadmap
• Linearity and PCF: a semantic insight!
• QPCF: higher-order languages and quantum circuits
• \textsc{qPCF}: a language for quantum circuit computations
• A forgotten strand of reception history: understanding pure semantics
• Semantic Barbs and Biorthogonality

This page was built for publication: On the reification of semantic linearity

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