ETH 취리히의 컴퓨터 과학, 수학, 물리학 취리히 학부 컬로퀴엄[발표회]에서 루이스 비르트(Luis Wirth) 학부생이 유형론, 람다 계산, 커리-하워드 동형을 린 4와 함께 45분 동안 설명했습니다.
