scientific article; zbMATH DE number 6260591

zbMATH Open1282.68005MaRDI QIDQ5397484FDOQ5397484

Stefano Guerrini, Andrea Asperti

Publication date: 21 February 2014

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

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Functional programming and lambda calculus (68N18)

Cited In (36)

• Title not available (Why is that?)
• New Developments in Environment Machines
• Title not available (Why is that?)
• Lambda-calculus with director strings
• On randomised strategies in the \(\lambda \)-calculus
• The evaluation of first-order substitution is monadic second-order compatible
• Interaction nets for linear logic
• Proof nets, garbage, and computations
• Reducibility between classes of port graph grammar.
• Relating conflict-free stable transition and event models via redex families
• The weak lambda calculus as a reasonable machine
• Title not available (Why is that?)
• Linear dependent types in a call-by-value scenario
• The graphical Krivine machine
• Phase semantics and decidability of elementary affine logic
• Title not available (Why is that?)
• Jumping Boxes
• Non-linearity as the Metric Completion of Linearity
• Optimizing structural recursion in functional programs
• Light logics and optimal reduction: completeness and complexity
• Is the Optimal Implementation Inefficient? Elementarily Not
• Interaction nets with McCarthy's \(\mathsf{amb}\)
• Abstract machines, optimal reduction, and streams
• Preface to the special volume
• A prismoid framework for languages with resources
• Token-passing nets for functional languages
• Complete laziness: a natural semantics
• Title not available (Why is that?)
• Resource operators for \(\lambda\)-calculus
• Parallel beta reduction is not elementary recursive
• (Optimal) duplication is not elementary recursive
• A fully labelled lambda calculus: towards closed reduction in the geometry of interaction machine
• Title not available (Why is that?)
• Title not available (Why is that?)
• Spinal atomic \(\lambda\)-calculus
• Title not available (Why is that?)

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 Q5397484)