컴퓨터를 문자열 다이어그램으로 그린다: 처치-튜링 명제를 만족하는 새로운 계산 모델

Monoidal computer I: Basic computability by string diagrams (2012)

모노이드 범주(monoidal category)로 계산을 기술하는 새로운 모델이 제안됐다. 표준 모델과 동일한 계산 가능 함수를 포착하며 처치-튜링 명제를 만족한다. 구현 세부에서 벗어나 간결한 범주적 인터페이스를 제공하고, 건전하고 완전한 그래픽 형식인 문자열 다이어그램(string diagrams)으로 추상적 추론을 직관적으로 지원한다. 궁극적 목표는 일방향 함수, 트랩도어 함수 같은 계산 자원 이론을 위한 고수준 프로그래밍 언어를 만드는 것이다.