$Call-by-value, call-by-name and the vectorial behaviour of the algebraic \lambda-calculus$

Call-by-value, call-by-name and the vectorial behaviour of the algebraic \lambda-calculus

We examine the relationship between the algebraic lambda-calculus, a fragment of the differential lambda-calculus and the linear-algebraic lambda-calculus, a candidate lambda-calculus for quantum computation. Both calculi are algebraic: each one is equipped with an additive and a scalar-multiplicati...

Full description

Bibliographic Details
Main Authors:	Ali Assaf, Alejandro Díaz-Caro, Simon Perdrix, Christine Tasson, Benoî t Valiron
Format:	Article
Language:	English
Published:	Logical Methods in Computer Science e.V. 2014-12-01
Series:	Logical Methods in Computer Science
Subjects:	computer science - logic in computer science
Online Access:	https://lmcs.episciences.org/927/pdf

Similar Items

Light Logics and the Call-by-Value Lambda Calculus
by: Paolo Coppola, et al.
Published: (2008-11-01)

Simulation in the Call-by-Need Lambda-Calculus with Letrec, Case, Constructors, and Seq
by: Manfred Schmidt-Schauß, et al.
Published: (2015-03-01)

A strong call-by-need calculus
by: Thibaut Balabonski, et al.
Published: (2023-03-01)

Probabilistic call by push value
by: Thomas Ehrhard, et al.
Published: (2019-01-01)

Ordered Models of the Lambda Calculus
by: Antonino Salibra, et al.
Published: (2013-12-01)

Addressing Machines as models of lambda-calculus
by: Giuseppe Della Penna, et al.
Published: (2022-07-01)

Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types
by: Daisuke Kimura, et al.
Published: (2013-03-01)

Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus
by: Giulio Guerrieri, et al.
Published: (2017-12-01)

Convexity and Order in Probabilistic Call-by-Name FPC
by: Mathys Rennela
Published: (2020-11-01)

Nominal Coalgebraic Data Types with Applications to Lambda Calculus
by: Alexander Kurz, et al.
Published: (2013-12-01)

A new coinductive confluence proof for infinitary lambda calculus
by: Łukasz Czajka
Published: (2020-03-01)

Scalar and Vectorial mu-calculus with Atoms
by: Bartek Klin, et al.
Published: (2019-10-01)

Fully Abstract Encodings of $\lambda$-Calculus in HOcore through Abstract Machines
by: Małgorzata Biernacka, et al.
Published: (2024-07-01)

Call-by-value Termination in the Untyped lambda-calculus
by: Neil D. Jones, et al.
Published: (2008-03-01)

A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications
by: José Espírito Santo, et al.
Published: (2024-07-01)

A revised completeness result for the simply typed $\lambda\mu$-calculus using realizability semantics
by: Karim Nour, et al.
Published: (2017-08-01)

Intersection Types for the lambda-mu Calculus
by: Steffen van Bakel, et al.
Published: (2018-01-01)

The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types
by: Ranald Clouston, et al.
Published: (2017-04-01)

The call-by-value λµ∧∨-calculus
by: Karim Nour, et al.
Published: (2005-01-01)

Completeness of the ZX-Calculus
by: Emmanuel Jeandel, et al.
Published: (2020-06-01)

Lineal: A linear-algebraic Lambda-calculus
by: Pablo Arrighi, et al.
Published: (2017-03-01)

Semantics of Typed Lambda-Calculus with Constructors
by: Barbara Petit
Published: (2011-03-01)

Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion
by: Thomas Ehrhard, et al.
Published: (2012-10-01)

RPO, Second-order Contexts, and Lambda-calculus
by: Pietro Di Gianantonio, et al.
Published: (2009-08-01)

An extended type system with lambda-typed lambda-expressions
by: Matthias Weber
Published: (2020-12-01)

The Omega Rule is $\mathbf{\Pi_{1}^{1}}$-Complete in the $\lambda\beta$-Calculus
by: Benedetto Intrigila, et al.
Published: (2009-04-01)

Ellipses and Lambda Definability
by: Mayer Goldberg
Published: (2015-10-01)

Adding Negation to Lambda Mu
by: Steffen van Bakel
Published: (2023-05-01)

Revisiting Call-by-value B\"ohm trees in light of their Taylor expansion
by: Emma Kerinec, et al.
Published: (2020-07-01)

Galois connecting call-by-value and call-by-name
by: Dylan McDermott, et al.
Published: (2024-02-01)

Encoding many-valued logic in $\lambda$-calculus
by: Fer-Jan de Vries
Published: (2021-06-01)

The Safe Lambda Calculus
by: William Blum, et al.
Published: (2009-02-01)

The safe lambda calculus
by: Blum, W
Published: (2009)

Discriminating Lambda-Terms Using Clocked Boehm Trees
by: Joerg Endrullis, et al.
Published: (2014-05-01)

Preservation of Strong Normalisation modulo permutations for the structural lambda-calculus
by: Beniamino Accattoli, et al.
Published: (2012-03-01)

Complete Call-by-Value Calculi of Control Operators II: Strong Termination
by: Ryu Hasegawa
Published: (2021-03-01)

On the Taylor expansion of $\lambda$-terms and the groupoid structure of their rigid approximants
by: Federico Olimpieri, et al.
Published: (2022-01-01)

The $\pi$-Calculus is Behaviourally Complete and Orbit-Finitely Executable
by: Bas Luttik, et al.
Published: (2021-02-01)

Towards a Minimal Stabilizer ZX-calculus
by: Miriam Backens, et al.
Published: (2020-12-01)

Call-by-name Gradual Type Theory
by: Max S. New, et al.
Published: (2020-01-01)