Equivalence of algebraic λ-calculi

Alejandro Díaz-Caro, Simon Perdrix, Christine Tasson, Benoît Valiron

Type: Preprint

Publication Date: 2010-07-14

Citations: 8

Locations

HAL (Le Centre pour la Communication Scientifique Directe) - View

Similar Works

Action	Title	Year	Authors
+ PDF Chat	Call-by-value, call-by-name and the vectorial behaviour of the algebraic \lambda-calculus	2014	Ali Assaf Alejandro Díaz-Caro Simon Perdrix Christine Tasson Benoît Valiron
+ PDF Chat	Completeness of algebraic CPS simulations	2012	Ali Assaf Simon Perdrix
+	The algebraic $λ$-calculus is a conservative extension of the ordinary $λ$-calculus	2023	Axel Kerinec Lionel Vaux
+	Scalar System F for Linear-Algebraic Lambda-Calculus: Towards a Quantum Physical Logic	2009	Pablo Arrighi Alejandro Díaz-Caro
+	Equivalence of Algebraic Lambda-Calculi - work in progress -	2010	Alejandro Díaz-Caro Simon Perdrix Christine Tasson Benoît Valiron
+	Scalar System F for Linear-Algebraic λ-Calculus: Towards a Quantum Physical Logic	2011	Pablo Arrighi Alejandro Díaz-Caro
+ PDF Chat	Two linearities for quantum computing in the lambda calculus	2019	Alejandro Díaz-Caro Gilles Dowek Juan Pablo Rinaldi
+	Algebraic and Logical Methods in Quantum Computation	2015	Neil J. Ross
+	The λ-Calculus	2005	Prof. Dr. W. Brauer Prof. Dr. G. Rozenberg Prof. Dr. A. Salomaa
+	Linear-algebraic lambda-calculus	2005	Pablo Arrighi Gilles Dowek
+	Linear-algebraic Lambda-calculus: higher-order, encodings and confluence	2006	Pablo Arrighi Gilles Dowek
+	The Zeta Calculus	2023	Nicklas Botö Fabian Forslund
+	Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying calculus	2023	Boldizsár Poór Quanlong Wang Razin A. Shaikh Lia Yeh Richie Yeung Bob Coecke
+ PDF Chat	Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying calculus	2023	Boldizsár Poór Quanlong Wang Razin A. Shaikh Lia Yeh Richie Yeung Bob Coecke
+	Lambda-Omega Calculus under Scrutiny	2016	Arthur Shevenyonov
+ PDF Chat	Confluence via strong normalisation in an algebraic λ-calculus with rewriting	2012	Pablo Buiras Alejandro Díaz-Caro Mauro Jaskelioff
+ PDF Chat	A concrete model for a typed linear algebraic lambda calculus	2023	Alejandro Díaz-Caro Octavio Malherbe
+ PDF Chat	A Quick Overview on the Quantum Control Approach to the Lambda Calculus	2022	Alejandro Díaz-Caro
+	The λ-calculus	2012	J. Roger Hindley Jonathan P. Seldin
+	A concrete model for a typed linear algebraic lambda calculus	2018	Alejandro Díaz-Caro Octavio Malherbe

Works That Cite This (6)

Action	Title	Year	Authors
+ PDF Chat	A System F accounting for scalars	2012	Pablo Arrighi Alejandro Díaz-Caro
+ PDF Chat	Linearity in the Non-deterministic Call-by-Value Setting	2012	Alejandro Díaz-Caro Barbara Petit
+ PDF Chat	Lineal: A linear-algebraic lambda-calculus	2013	Pablo Arrighi Gilles Dowek
+ PDF Chat	Confluence via strong normalisation in an algebraic λ-calculus with rewriting	2012	Pablo Buiras Alejandro Díaz-Caro Mauro Jaskelioff
+	Du typage vectoriel	2011	Alejandro Ramos
+ PDF Chat	Non determinism through type isomorphism	2013	Alejandro Díaz-Caro Gilles Dowek

Works Cited by This (0)

Action	Title	Year	Authors