Experimental syntax, of a mathematical type, geared to...
Experimental syntax, of a mathematical type, geared to referential axioms, may help further along these lines - or others not imagined as yet.
Experimental syntax, of a mathematical type, geared to referential axioms, may help further along these lines - or others not imagined as yet.