상징적 람다 미적분은 람다 미적분과 결합 논리에 기초한 논리적 형식주의로, 용어나 평등을 나타낼 수 있는 한 가지 종류의 객체만 있습니다. 그것은 드 브루이진과 람다 미적분 표기법을 사용합니다.
버전 기록
- 버전 files 에 게시 2010-05-13
몇 가지 수정 및 업데이트 - 버전 N/A 에 게시 2010-05-13
프로그램 세부 정보
- 범주: 교육 > 다른
- 게시자: slc.sf.net
- 라이센스: 무료
- 가격: N/A
- 버전: Array
- 플랫폼: linux