Cs-Lo
비동기 부작용 프로세스를 위한 코인덕티브 계산
편리한 미분 범주와 볼레로직스 모델
생산성 검사기 극복을 위한 임베디드 언어 활용
이중 직관주의 시제 논리의 절단 제거와 증명 탐색
분산 병렬 도달성 분석으로 상태공간 폭발 완화
외부 최우선 종료와 스트림 생산성
모달 의존 논리의 복잡도 전전
산술과 집합 데이터 타입의 통합 형식 기술
리스트 제약식에 대한 멱등 MGU 모델의 기계 검증
최악 실행 시간 계산을 위한 타임드 게임
상태 없는 HOL: 정의 취소와 커널 순수성을 동시에 잡다
첫 번째 차수 인과 이론을 논리 프로그램으로 표현하기
그래프 유사 객체 반응의 구조적 분해
선형 비용 모델에 추상 해석 삽입
제어 연산자를 이용한 이중 부정 전이 증명
순환과 귀납 계산법의 동등성
리만 사상 복잡도에 대한 지역 전역 원리
역설적 논리 종합 조사
국부 전략 개선을 통한 파리티 게임 해결
실수 분석 기계와 복잡도 단계
로그스페이스 카운팅을 위한 형식 이론
효과적 용량과 닫힌 집합의 무작위성
