5
반사가있는
나는 반사 에 대한 추론 , 즉 실행중인 프로그램의 내성 및 조작에 대한 추론을 지원하는 간단한 미적분학을 찾고 있습니다. 지정되지 않은 거기에 변환을 가능하게 -calculus 확장 구문 적으로 조작 한 후 연속적으로 평가 될 수있는 형태로 -terms은?λλλ\lambdaλλ\lambda 미적분학에는 두 가지 주요 추가 항이 있다고 생각합니다. v vr e f l …