STRATAGEM is a research prototype system illustrating some theoretical ideas in game semantics.
Primary LanguageStandard MLOtherNOASSERTION
No issues in this repository yet.