Colin Stirling

2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

A Framework for Intuitionistic Modal Logics

Gordon D. Plotkin and others (1986) · Elsevier BV

Modal logics for communicating systems

Colin Stirling (1985) · Department of Computer Science, University of Edinburgh