• 람다대수
• 람다 계산법
• 힌들리밀너 타입 시스템
• 튜링 머신
• 틀:이론 컴퓨터 과학
• 함수형 프로그래밍
• Haskell
• 컴퓨터 언어
• 무한 루프
• 수 체계
• 컴퓨터공학과
• 수학·과학 기호/문자
• 2swap
• Nix