원거리 Bang 계산을 위한 근사 이론
안내: 본 포스트의 한글 요약 및 분석 리포트는 AI 기술을 통해 자동 생성되었습니다. 정보의 정확성을 위해 하단의 [원본 논문 뷰어] 또는 ArXiv 원문을 반드시 참조하시기 바랍니다.
초록
본 논문은 명시적 치환과 원거리 감소를 갖는 Bang‑calculus(dBang)의 근사 의미론을 구축한다. Böhm 트리와 Taylor 전개를 dBang에 정의하고, 이들 사이의 교환 정리를 증명함으로써 Call‑by‑Name과 Call‑by‑Value 평가 전략을 하나의 통합 프레임워크 안에서 포괄한다.
상세 분석
dBang은 λ‑계산에 두 개의 새로운 연산자 ‘! M’(연산 지연)과 ‘der(M)’(연산 재개)를 도입하고, 명시적 치환 M
댓글 및 학술 토론
Loading comments...
의견 남기기