Search results

and computer science, kappa calculus is a formal system for defining first-order functions. Unlike lambda calculus, kappa calculus has no higher-order functions;...

connections to computational theory Kappa calculus, a reformulation of the first-order fragment of typed lambda calculus Rho calculus, introduced as a general means...

expressions. Kappa calculus—an analogue of typed lambda calculus which excludes higher-order functions Brandl, Helmut (27 April 2024). "Typed Lambda Calculus / Calculus...

Lambda calculus (also written as λ-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and application...

connections to computational theory Kappa calculus, a reformulation of the first-order fragment of typed lambda calculus Rho calculus, introduced as a general means...

Explicit currying with [1]. Defunctionalization eval First-class message Kappa calculus – a formalism which excludes first-class functions Man or boy test Partial...

stochastic calculus is a generalization of stochastic calculus to noncommuting variables. The tools provided by quantum stochastic calculus are of great...

Combinatory logic Function-level programming Functional programming Kappa calculus - a formalism for functions which excludes higher-order functions Strategy...

The icosian calculus is a non-commutative algebraic structure discovered by the Irish mathematician William Rowan Hamilton in 1856. In modern terms, he...

role in the development of infinitesimal calculus; in particular, for proof of the fundamental theorem of calculus. His work centered on the properties of...

geometry, the kappa curve or Gutschoven's curve is a two-dimensional algebraic curve resembling the Greek letter ϰ (kappa). The kappa curve was first...

compensation for the risk borne in investment the α-conversion in lambda calculus the independence number of a graph a placeholder for ordinal numbers in...

Regge calculus is a formalism for producing simplicial approximations of spacetimes that are solutions to the Einstein field equation. The calculus was...

{d} \mathbf {T} }{\mathrm {d} s}}&=\kappa \mathbf {N} ,\\{\frac {\mathrm {d} \mathbf {N} }{\mathrm {d} s}}&=-\kappa \mathbf {T} +\tau \mathbf {B} ,\\{\frac...

\displaystyle \kappa \rightarrow (\lambda )_{m}^{n}} as a shorthand way of saying that every partition of the set [ κ ] n {\displaystyle [\kappa ]^{n}} of...

_{p}}={\tfrac {1}{m!}}\varepsilon ^{\kappa _{1}\dots \kappa _{m}\mu _{1}\dots \mu _{p}}\varepsilon _{\kappa _{1}\dots \kappa _{m}\nu _{1}\dots \nu _{p}}\,.}...

In partition calculus, part of combinatorial set theory, a branch of mathematics, the Erdős–Rado theorem is a basic result extending Ramsey's theorem to...

'\end{pmatrix}}={\begin{pmatrix}0&\kappa _{\mathrm {g} }&\kappa _{\mathrm {n} }\\-\kappa _{\mathrm {g} }&0&\tau _{\mathrm {r} }\\-\kappa _{\mathrm {n} }&-\tau _{\mathrm...

ν + Λ g μ ν = κ T μ ν {\displaystyle G_{\mu \nu }+\Lambda g_{\mu \nu }=\kappa T_{\mu \nu }} where G μ ν {\displaystyle G_{\mu \nu }} is the Einstein tensor...

vary. The maximal curvature κ 1 {\displaystyle \kappa _{1}} and minimal curvature κ 2 {\displaystyle \kappa _{2}} are known as the principal curvatures of...