1열
1답변
다음 유형의 자유 변수가없는 lambda-terme를 찾으십니까?
1열
2답변
Scala에서 sealed case 클래스가있는 두 개의 관련 AST 작성하기
4열
1답변
반복되는 증분을 사용하여 유형화 된 교회 숫자에 더하기를 구현할 수 있습니까?
0열
1답변
베타 감소 : 바운드 변수를 바꿀 올바른 방법은 무엇입니까?
3열
2답변
2열
1답변
람다의 미적분학에서 scc에 대한 나의 대체 정의가 맞습니까?
1열
1답변
2열
2답변
2열
2답변
-1열
1답변
람다 계산법 전체 표현식 치환 무료 차례 나오는의 대체 약