WikiDer > Rho исчисление
Rho calculus
Есть два разных исчисления, которые используют имя родовой камень. В первый формализм, предназначенный для объединения возможностей высшего порядка лямбда-исчисление с сопоставлением с образцом переписывание терминов. Второй - это рэффектный часигер-оrder вариант[1] асинхронной полиадической пи исчисление.
Рекомендации
- ^ Meredith, L.G .; Радесток, Маттиас (22 декабря 2005 г.). «Рефлексивное исчисление высшего порядка». Электронные заметки по теоретической информатике. 141 (5): 49–67. Дои:10.1016 / j.entcs.2005.05.016.
 | Этот формальные методы-связанная статья является заглушка. Вы можете помочь Википедии расширяя это. |