한국정보과학회:학술대회논문집 (Proceedings of the Korean Information Science Society Conference)
- 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (2)
- /
- Pages.33-35
- /
- 1998
- /
- 1598-5164(pISSN)
큐를 활용한 선형고전논리 회로의 설계
A Design of Linear Categorical Circuits with Queues
초록
선형논리는 Girard에 의해 소개되었으며, 고전논리의 확장이다. 최근에는 형할당 시스템으로 λ
키워드