scholarly journals On Constructor Rewrite Systems and the Lambda-Calculus

2009 ◽  
pp. 163-174 ◽  
Author(s):  
Ugo Dal Lago ◽  
Simone Martini
Keyword(s):  
Lambda Calculus ◽  
Rewrite Systems

scholarly journals On Constructor Rewrite Systems and the Lambda Calculus

2012 ◽  
Vol 8 (3) ◽  
Author(s):  
Ugo Dal Lago ◽  
Simone Martini
Keyword(s):  
Lambda Calculus ◽  
Rewrite Systems

Lambda Calculus with Types

2009 ◽  
Author(s):  
Henk Barendregt ◽  
Wil Dekkers ◽  
Richard Statman
Keyword(s):  
Lambda Calculus

A lambda calculus with naive substitution

1979 ◽  
Vol 28 (3) ◽  
pp. 269-282 ◽  
Author(s):  
John Staples
Keyword(s):  
Lambda Calculus ◽  
Classical Case ◽  
Syntactic Theory ◽  
Alternative Approach ◽  
New Formulation

AbstractAn alternative approach is proposed to the basic definitions of the lassical lambda calculus. A proof is sketched of the equivalence of the approach with the classical case. The new formulation simplifies some aspects of the syntactic theory of the lambda calculus. In particular it provides a justification for omitting in syntactic theory discussion of changes of bound variable.

scholarly journals Backpropagation in the simply typed lambda-calculus with linear negation

2020 ◽  
Vol 4 (POPL) ◽  
pp. 1-27 ◽  
Author(s):  
Aloïs Brunel ◽  
Damiano Mazza ◽  
Michele Pagani
Keyword(s):  
Lambda Calculus ◽  
Typed Lambda Calculus

scholarly journals Algebras and coalgebras in the light affine Lambda calculus

2015 ◽  
Vol 50 (9) ◽  
pp. 114-126 ◽  
Author(s):  
Marco Gaboardi ◽  
Romain Péchoux
Keyword(s):  
Lambda Calculus

scholarly journals The Limits of Computation

Axiomathes ◽  
2021 ◽  
Author(s):  
Andrew Powell
Keyword(s):  
Natural Number ◽  
Set Theory ◽  
Lambda Calculus ◽  
Second Order ◽  
Functional Interpretation ◽  
Arbitrary Type ◽  
Computable Functions

AbstractThis article provides a survey of key papers that characterise computable functions, but also provides some novel insights as follows. It is argued that the power of algorithms is at least as strong as functions that can be proved to be totally computable in type-theoretic translations of subsystems of second-order Zermelo Fraenkel set theory. Moreover, it is claimed that typed systems of the lambda calculus give rise naturally to a functional interpretation of rich systems of types and to a hierarchy of ordinal recursive functionals of arbitrary type that can be reduced by substitution to natural number functions.

scholarly journals CoCo 2019: report on the eighth confluence competition

2021 ◽  
Author(s):  
Aart Middeldorp ◽  
Julian Nagele ◽  
Kiraku Shintani
Keyword(s):  
Software Tools ◽  
Rewrite Systems

AbstractWe report on the 2019 edition of the Confluence Competition, a competition of software tools that aim to prove or disprove confluence and related (undecidable) properties of rewrite systems automatically.

scholarly journals Maximal sharing in the Lambda calculus with letrec

2014 ◽  
Vol 49 (9) ◽  
pp. 67-80 ◽  
Author(s):  
Clemens Grabmayer ◽  
Jan Rochel
Keyword(s):  
Lambda Calculus

Embedding a full linear Lambda calculus in Haskell

2016 ◽  
Vol 50 (12) ◽  
pp. 177-188
Author(s):  
Jeff Polakow
Keyword(s):  
Lambda Calculus
Sign in / Sign up

Export Citation Format

Share Document