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

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Functional programming and lambda calculus (68N18) 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)

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

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)