Searching for "lambda-nu" – sorted by Relevance.
10 documents found, showing 1 through 10.
-
λν, a Calculus of Explicit Substitutions which Preserves Strong Normalisation
- … of extreme simplicity. The theory of lambda-conversion is intermediate in character between synthetic…
- Add To MetaCart
-
From λσ to λν - a Journey through Calculi of Explicit Substitutions
- … in the calculus. (Beta) (a)b ! a[b \Delta id] (App) (ab)[s] ! a[s]b[s] (Lambda) (a)[s] ! (a[*(s)]) (Clos) a…
- Add To MetaCart
-
Two Applications of Standardization and Evaluation in Combinatory Reduction Systems
- …We present two worked applications of a general framework that can be used to support reasoning about the operational equality relation defined by a programming language semantics. The framework, based on Combinatory Reduction Systems, facilitates the proof of standardization theorems for programmin…
- Cited by 1 (1 self) – Add To MetaCart
-
gpposy: A matlab solver for geometric programs in posynomial form
- … sequences The complete calling sequence of gpposy is >> [x,status,lambda,nu] = gpposy…
- Cited by 1 (0 self) – Add To MetaCart
-
Quantum moment hydrodynamics and the entropy principle
- …BT ; q = m \Lambda nu ; W = 1 2 m \Lambda njuj2 + d 2 nkBT : With this transformation…
- Cited by 13 (1 self) – Add To MetaCart
-
Using Computational and Graphical Methods to Explore a
- … Poisson as a member of the exponential family. 3 2 4 6 8 lambda 2 3 4 nu 2 8 10 E(X) Figure 1: E(X) as a…
- Add To MetaCart
-
leanTAP Revisited
- …, Omega), !, thm(Lambda, [Alpha2 | Gamma], Delta, Omega). thm(Lambda, [Nu | Gamma], Delta, Omega) :type(Nu…
- Cited by 13 (0 self) – Add To MetaCart
-
Assertion-based analysis of hybrid systems with PVS
- …[label] = LAMBDA (la:label): la=tau ... Inv : invariant_func[Loc,Vari] = LAMBDA (l:(Loc)): LAMBDA (nu…
- Cited by 1 (0 self) – Add To MetaCart
-
Fredholm Modulesfor Quantum Euclidean Spheres Eli Hawkins
- … - xnu(2n-2) q -1 x \Lambda nu(2n-2) - u(2n-2)x \Lambda n u 2 (2n-2) + x \Lambda nxn ' : (2…
- Add To MetaCart
-
Math into BLUes
- … lacked awareness of how to T E X them properly. I also encountered \cos\,\alpha h\lambda_\nu (z…
- Add To MetaCart
Showing 1 through 10.
