색인
메타
문서
- Agda
- CompCert
- Coq
- Haskell
- Iris
- Lean
- Nix
- Rust
- λ-계산
- λProlog
- 게르하르트 겐첸
- 격자
- 관계 분리 논리
- 논리 연결사
- 단순 타입 λ-계산
- 대칭 관계
- 동치 관계
- 러셀의 역설
- 마틴뢰프 타입 이론
- 명제 논리
- 반대칭 관계
- 반사 관계
- 배중률
- 버트런드 러셀
- 범주
- 부분 구조 논리
- 부분 동치 관계
- 부분 순서
- 분리 논리
- 시퀀트 계산
- 알프레트 타르스키
- 완비 부분 순서
- 완전 관계
- 원순서
- 자연 연역
- 전순서
- 준군
- 추이 관계
- 커리-하워드 대응
- 클레이니 고정점 정리
- 타르스키 고정점 정리
- 타입 보존
- 타입 없는 λ-계산
- 토니 호어
- 페르 마틴뢰프
- 호어 로직