STRATAGEM is a research prototype system illustrating some theoretical ideas in game semantics.
Primary LanguageStandard MLOtherNOASSERTION