DMCA

An Intuitionistic Logic for Sequential Control

by Chuck Liang , Dale Miller