«interaction-nets» 태그된 질문

다음 용어 (bruijn- 인덱스 사용) : BADTERM = λ((0 λλλλ((((3 λλ(((0 3) 4) (1 λλ0))) λλ(((0 4) 3) (1 0))) λ1) λλ1)) λλλ(2 (2 (2 (2 (2 (2 (2 (2 0))))))))) 교회 수에 적용하면 순진한 사람을 포함하여N 여러 기존 평가자에서 신속하게 정상적인 형태로 평가됩니다 . 그러나 해당 용어를 인터랙션 네트에 …

10 cc.complexity-theory  lambda-calculus  interaction-nets 

상호 작용 결합기는 이전에 λ 미적분에 대한 컴파일 대상 으로 제안되었습니다 . 이 논문은 전체 λ 미적분을 구현합니다. 또한 , EAL- 타입 가능한 λ- 말단의 서브 세트에 대해 λ- 미적분의 상호 작용 네트 인코딩 을 최적화 하는 것이 가능하다는 것이 알려져있다 . 이 논문은 EAL 타입의 λ- 말단을 상호 작용 …

10 lambda-calculus  functional-programming  interaction-nets