Rho kalkyl
Det finns två olika kalkyler som använder namnet rho-calculus :
- Den första är en formalism avsedd att kombinera de högre ordningens faciliteter för lambdakalkyl med mönstermatchningen av termomskrivning .
- Den andra är en reflektiv variant av högre ordning av den asynkrona polyadiska pi- kalkylen .
- ^ Meredith, LG; Radestock, Mattias (22 december 2005). "En reflekterande kalkyl av högre ordning" . Elektroniska anteckningar i teoretisk datavetenskap . 141 (5): 49–67. doi : 10.1016/j.entcs.2005.05.016 .
Kategorier: