Rho kalkul - Rho calculus
Název používají dva různé kameny rho-kalkul. The za prvé je formalismus zamýšlený spojit zařízení vyššího řádu z lambda kalkul s odpovídajícím vzorem přepis termínu. Druhý je a refektivní hnahoru-Órder varianta[1] asynchronní polyadické pi kalkul.
Reference
- ^ Meredith, L. G .; Radestock, Mattias (22. prosince 2005). „Reflexní kalkul vyššího řádu“. Elektronické poznámky v teoretické informatice. 141 (5): 49–67. doi:10.1016 / j.entcs.2005.05.016.
![]() | Tento formální metody související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |