- Definition files
- ----------------------------
- defStar: Primitive and derived constructs for regular expressions
[pdf]
- defAs0A Meet, symmetric difference, composition, conversion,... (cf. defALL, defDEMO, defFork)
- defAs0B Meet, complementation, composition, conversion,... (cf. defFork)
- defAs0C Join, complementation, composition, conversion,...
[pdf]
- defAs1 Dagger, residuations,... (cf. defFoAs1, defDEMO, defFork)
- defAttrs Entity-relationship modeling: attributes and keys, placeholders, etc. (cf. defALL)
- defCardUniv Singleton/doubleton/at_least_doubleton/more_than_doubleton universe of discourse
(cf. defALL)
- defFoAs0 Inclusion, left/right uniqueness,... Tuple navigator "th" (cf. defFoAs1)
- defFoAs1 Propositional connectives, useful variadic constructs, constants and points, Skolemization
(cf. defALL)
- defGraphIsom Two graphs and an isomorphism between them (cf. defALL)
- defInd Notions related to inductive closure (cf. defALL)
- defMonoid Semigroup, left/right/commutative monoid, distributivity (cf. defStar)
- defProj Projections and their friends, Maddux' translation (cf. defALL, defDEMO)
- defProps Common properties of maps: transitivity, symmetry, reflexivity, strictness,...
(cf. defALL, defDEMO)
- defALL: Very rich set of compatible definitions, collected together mainly for the sake
of demonstration [pdf]
- defPlH Obsolete specification of place-holders, kept to test Anamorpho under stress (cf. defALL)
- defFork Primitive and derived constructs for fork algebras
[pdf]
- ----------------------------
- defDEMO Just a demonstration file [pdf]
- defAndrea Demonstration carried out for a friend
- defErnst Demonstration carried out for a friend
- defTMP Temporary file, kept to perform quick tests