로 미적분학

Rho calculus

rho-미적분학이라는 이름을 사용하는 두 개의 다른 미적분학이 있다.첫째는 람다 미적분학의 고차적 설비와 용어 재작성의 패턴 매칭을 결합하려는 형식주의다.두 번째는 비동기 폴리아디드 파이 미적분학의 반사적인 고차 변종이다[1].

참조

  1. ^ Meredith, L. G.; Radestock, Mattias (22 December 2005). "A Reflective Higher-Order Calculus". Electronic Notes in Theoretical Computer Science. 141 (5): 49–67. doi:10.1016/j.entcs.2005.05.016.


Stub icon

이 형식적인 방법 관련 기사는 단조롭다.위키피디아를 확장하여 도울 수 있다.