Dependently Sorted Syntax와 그 의미론 – Carlo Angiuli [영상]Dependently Sorted Syntax and its Semantics – Carlo Angiuli [video]▲ 1 · youtube.com · 12일 전 · 0 댓글원문 보기 → HN에서 보기 →원문 요약원문을 요약하고 있습니다…