From Hilbert spaces to Dilbert spaces: Context semantics made simple

DOI10.1007/3-540-36206-1_2MaRDI QIDQ4415239zbMATH OpenFDO

Authors Harry G. Mairson

Publication date 28 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2556/25560002.htm

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• On context semantics and interaction nets
• Semantics of linear/modal lambda calculus
• Proofnets and context semantics for the additives
• Context semantics, linear logic, and computational complexity
• Computing with contexts

Cited in

(4)

• Computation by interaction for space-bounded functional programming
• Towards a geometry of recursion
• Linear lambda terms as invariants of rooted trivalent maps
• Light logics and optimal reduction: completeness and complexity

This page was built for publication: From Hilbert spaces to Dilbert spaces: Context semantics made simple

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