نتایج جستجو برای: generalized solution

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

Journal: :Journal of Nuclear Science and Technology 1972

Journal: :Computers & Mathematics with Applications 1996

Journal: :Revista Internacional de Métodos Numéricos para Cálculo y Diseño en Ingeniería 2021

Journal: :Transactions of the Society of Instrument and Control Engineers 2007

Journal: :The European Physical Journal C 2019

Journal: :Journal of Integral Equations and Applications 1992

Journal: :Международный студенческий научный вестник (International Student Scientific Herald) 2019

2014
Gianluca Giorgolo Ash Asudeh

In this paper we discuss a conservative extension of the simply-typed lambda calculus in order to model a class of expressions that generalize the notion of opaque contexts. Our extension is based on previous work in the semantics of programming languages aimed at providing a mathematical characterization of computations that produce some kind of side effect (Moggi, 1989), and is based on the n...

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

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