Results 31 to 40 of about 14,639 (283)

The dagger lambda calculus [PDF]

Electronic Proceedings in Theoretical Computer Science, 2014
We present a novel lambda calculus that casts the categorical approach to the study of quantum protocols into the rich and well established tradition of type theory.
Philip Atzemoglou
doaj   +1 more source

Ordered Models of the Lambda Calculus [PDF]

Logical Methods in Computer Science, 2013
Answering a question by Honsell and Plotkin, we show that there are two equations between lambda terms, the so-called subtractive equations, consistent with lambda calculus but not simultaneously satisfied in any partially ordered model with bottom ...
Antonino Salibra, Alberto Carraro
doaj   +1 more source

A Strong Bisimulation for a Classical Term Calculus [PDF]

Logical Methods in Computer Science
When translating a term calculus into a graphical formalism many inessential details are abstracted away. In the case of $\lambda$-calculus translated to proof-nets, these inessential details are captured by a notion of equivalence on $\lambda$-terms ...
Eduardo Bonelli, Delia Kesner, Andrés Viso   +2 more
doaj   +1 more source

ASMs and Operational Algorithmic Completeness of Lambda Calculus [PDF]

, 2010
We show that lambda calculus is a computation model which can step by step simulate any sequential deterministic algorithm for any computable function over integers or words or any datatype.
A. Church, A. Church, A.J. Atrubin, A.N. Kolmogorov, D. Knuth, E. Börger, E. Börger, F.C. Hennie, H. Barendregt, H. Curry, H.P. Barendregt, J.L. Krivine, N. Dershowitz, R. Statman, S. Ronchi Della Rocca, T. Mogensen, W. Paul, Y. Gurevich, Y. Gurevich   +18 more
core   +4 more sources

A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications [PDF]

Logical Methods in Computer Science
We introduce a call-by-name lambda-calculus $\lambda Jn$ with generalized applications which is equipped with distant reduction. This allows to unblock $\beta$-redexes without resorting to the standard permutative conversions of generalized applications ...
José Espírito Santo, Delia Kesner, Loïc Peyrot   +2 more
doaj   +1 more source

Study of degenerate derangement polynomials by λ-umbral calculus

Demonstratio Mathematica, 2023
In the 1970s, Rota began to build completely rigid foundations for the theory of umbral calculus based on relatively modern ideas of linear functions and linear operators.
Yun Sang Jo, Park Jin-Woo
doaj   +1 more source

First Class Call Stacks: Exploring Head Reduction [PDF]

, 2016
Weak-head normalization is inconsistent with functional extensionality in the call-by-name $\lambda$-calculus. We explore this problem from a new angle via the conflict between extensionality and effects.
Ariola, Zena M., Downen, Paul, Johnson-Freyd, Philip   +2 more
core   +2 more sources

Characterisation of Strongly Normalising lambda-mu-Terms [PDF]

Electronic Proceedings in Theoretical Computer Science, 2013
We provide a characterisation of strongly normalising terms of the lambda-mu-calculus by means of a type system that uses intersection and product types.
Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro   +2 more
doaj   +1 more source

Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi [PDF]

Logical Methods in Computer Science, 2017
In this paper we give an arithmetical proof of the strong normalization of lambda-Sym-Prop of Berardi and Barbanera [1], which can be considered as a formulae-as-types translation of classical propositional logic in natural deduction style.
Peter Battyanyi, Karim Nour
doaj   +1 more source

Graphic Lambda Calculus

Complex Systems, 2013
We introduce and study graphic lambda calculus, a visual language which can be used for representing untyped lambda calculus, but it can also be used for computations in emergent algebras or for representing Reidemeister moves of locally planar tangle diagrams.
openaire   +2 more sources