색인
메타
2500B 이상 문서
2500B 미만 문서
- Agda
- Calculus of Constructions
- CompCert
- Coq
- Haskell
- Haskell/Applicative
- Haskell/Functor
- Haskell/Monad
- Iris
- Lean
- Nix
- λ-계산
- λProlog
- 게르하르트 겐첸
- 격자
- 고정점
- 고정점 조합자
- 관계 분리 논리
- 논리 연결사
- 대칭 관계
- 동치 관계
- 러셀의 역설
- 명제 논리
- 반대칭 관계
- 반사 관계
- 배중률
- 버트런드 러셀
- 범주
- 부분 구조 논리
- 부분 동치 관계
- 부분 순서
- 분리 논리
- 알론조 처치
- 알프레트 타르스키
- 연관 주제 위키
- 완비 부분 순서
- 완전 관계
- 원순서
- 자름-제거 정리
- 전순서
- 준군
- 증명보조기
- 최대 원소와 최소 원소
- 추이 관계
- 커리-하워드 대응
- 클레이니 고정점 정리
- 타르스키 고정점 정리
- 타입 보존
- 타입 시스템
- 타입 없는 λ-계산
- 타입 유니버스
- 타입 이론
- 타입에 대한 내재적 관점과 외재적 관점
- 토니 호어
- 페르 마틴뢰프
- 해스켈 커리
- 호모토피 타입 이론
- 호어 로직