scientific article; zbMATH DE number 7136666
From MaRDI portal
Publication:4972738
zbMath1442.68030arXiv1803.00427MaRDI QIDQ4972738
Publication date: 26 November 2019
Full work available at URL: https://arxiv.org/abs/1803.00427
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Combinatory logic and lambda calculus (03B40)
Related Items (2)
Cites Work
- Unnamed Item
- Unnamed Item
- Computation by interaction for space-bounded functional programming
- On inter-deriving small-step and big-step semantics: a case study for storeless call-by-need evaluation
- Linear logic
- Call-by-name, call-by-value, call-by-need and the linear lambda calculus
- A functional perspective on machine learning via programmable induction and abduction
- Linear dependent types in a call-by-value scenario
- Strongly reducing variants of the Krivine abstract machine
- A call-by-name lambda-calculus machine
- Call-by-Value in a Basic Logic for Interaction
- (Leftmost-Outermost) Beta Reduction is Invariant, Indeed
- Distilling abstract machines
- The Useful MAM, a Reasonable Implementation of the Strong $$\lambda $$ -Calculus
- Memoryful geometry of Interaction II: recursion and adequacy
- On the Value of Variables
- Geometry of synthesis
- The Structural λ-Calculus
- Functorial Boxes in String Diagrams
- Jumping Boxes
- Deriving a lazy abstract machine
- Memoryful geometry of interaction
- Closed reduction: explicit substitutions without $\alpha$ -conversion
- Linear Dependent Types and Relative Completeness
- The Negligible and Yet Subtle Cost of Pattern Matching
- The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter
- New Developments in Environment Machines
- Geometry of synthesis iv
- The geometry of parallelism: classical, probabilistic, and quantum effects
- Geometry of synthesis III
- Typed Lambda Calculi and Applications
- The Mechanical Evaluation of Expressions
This page was built for publication:
