scientific article; zbMATH DE number 1954368

zbMATH Open1027.68080MaRDI QIDQ4415239FDOQ4415239

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

Title of this publication is not available (Why is that?)

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

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)

Cited In (4)

• Towards a geometry of recursion
• Computation by interaction for space-bounded functional programming
• 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)