Account:
please sign in
Index & Search
Recent Changes
Title Index
Advanced Search
Primary Public Hubs
Reeseo.Net Wiki
Reeseo.Net
CHA Reeseo
Haskell 입문서 (번역문)
Coq 입문서 (번역문)
DokuWiki/NLS
Other Reeseo.Nets
WWW.reeseo.net
BLOG.reeseo.net
⊟
A
A
⊞
⟺
2019컴퓨테이션이론
/
함수형 계산 이론 기초
함수형 계산 이론을 본격적으로 다루기에 앞서 필요한 기초적인 개념, 표기 관례 등을 정리한 문서입니다.
목차
용어와 표기
타입
연산자의 결합 특성
바인딩 연산자
고계 함수