نتایج جستجو برای: action at a distance

تعداد نتایج: 14048175  

Journal: :HoST - Journal of History of Science and Technology 2017

Journal: :Linguistics and Philosophy 2019

Journal: :American Journal of Psychiatry 2021

Journal: :Chemical & Engineering News Archive 1996

Journal: :Nature Physics 2020

Journal: :Editors' Bulletin 2006

2010
Beniamino Accattoli Delia Kesner

Inspired by a recent graphical formalism for λ-calculus based on Linear Logic technology, we introduce an untyped structural λ-calculus, called λj, which combines action at a distance with exponential rules decomposing the substitution by means of weakening, contraction and dereliction. Firstly, we prove fundamental properties such as confluence and preservation of β-strong normalisation. Secon...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید