scientific article; zbMATH DE number 1954368

MaRDI QIDQ4415239zbMATH OpenFDO

Authors Harry G. Mairson

Publication date 28 July 2003

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
• scientific article; zbMATH DE number 1948160
• 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:

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