Results 41 to 50 of about 272,458 (83)
An Injective CPS-translation for the Extensional λ-calculus
, 2003 We give a syntactical proof to the statement that a novel CPS translation with surjective pairing is injective for the extensional λ-calculus. The result itself might be preliminary, since the source language (the extensional λ-calculus) of the ...
Fujita, Ken-etsu
core +1 more source
, 2023 El cálculo-λ permite estudiar la noción de función computable desde un punto de vista matemático, modelando la abstracción y la aplicación de una función a un argumento.
Zeitoune, Giselle Elizabeth
core +1 more source
On randomised strategies in the λ-calculus
, 2020 In this work we study randomised reduction strategies—a notion already known in the context of abstract reduction systems—for the λ-calculus. We develop a simple framework that allows us to prove a randomised strategy to be positive almost-surely ...
Vanoni G., Dal Lago U.
core +1 more source
Further remarks on extended umbral calculus [PDF]
, 2001 summary:The paper deals with extensions of the finite operator calculus of G.-C. Rota called $\psi$-extensions which give a framework for corresponding quantum group investigations.
Grądzka, E., Kwaśniewski, A. K.
core +1 more source
Focused Linear Logic and the λ-calculus [PDF]
, 2015 International audienceLinear logic enjoys strong symmetries inherited from classical logic while providing a constructive framework comparable to intuitionistic logic.
Guenot, Nicolas, Brock-Nannestad, Taus
core +1 more source
Computer algebra and umbral calculus
, 1998 Rota's Umbral Calculus uses sequences of Sheffer polynomials to count certain combinatorial objects. We review this theory and some of its generalizations in light of our computer implementation (Maple V.3). A Mathematica version of this package is being
Bottreau, A. +2 more
core +1 more source
Effect of Delta Operator on Umbral Composition in Finite Operator calculus [PDF]
, 2016 The main objective of this paper is to propose the matrix representation of umbral composition and investigate the effect of delta operator on umbral composition by using the sequential representation of delta operator in finite operator ...
Elango, C, Maheswaran, A
core +1 more source
Rewriting Modulo β in the λ Π-Calculus Modulo [PDF]
, 2015 International audienceThe λ Π-calculus Modulo is a variant of the λ-calculus with dependent types where β-conversion is extended with user-defined rewrite rules. It is an expressive logical framework and has been used to encode logics and type systems in
Ronan Saillard, Saillard, Ronan
core +1 more source
λ-Calculus, Multiplicities and the π-Calculus
, 2007 In this paper we study the semantics of the λ-calculus induced by Milner's encoding into the π-calculus. We show that the resulting may testing preorder on -terms coincides with the inclusion of Lévy-Longo trees.
Cosimo Laneve, Gérard Boudol
core
Baxter Algebras and the Umbral Calculus
, 2002 We apply recent constructions of free Baxter algebras to the study of the umbral calculus. We give a characterization of the umbral calculus in terms of the Baxter algebra.
Li Guo
core +1 more source