Skip to content
printicon
Show report in:

UMINF 09.21

Millstream Systems

We introduce Millstream systems, a mathematical framework in the tradition of the Theory of Computation that uses logic to formalize the interfaces between different aspects of language, the latter being described by any number of independent modules. Unlike other approaches that serve a similar goal, Millstream systems neither presuppose nor establish a particular linguistic theory or focus, but can be instantiated in various ways to accomodate different points of view.

Keywords

Millstream system; language interface

Authors

Back Edit this report
Entry responsible: Frank Drewes

Page Responsible: Frank Drewes
2020-07-04