![]()
|
DocumentationThe theory behind LogFun, as well as the formal description of the main logic functors is available in a research report: S.
Ferré, O. Ridoux. Logic Functors: A Toolbox of Components for
Building Customized and Embeddable Logics.
An older version of the
report is also available. |