Combinatory logic (Curry and Feys 1958) is a “variable-free” alternative to the lambda
calculus. The two have the same expressive power but build their expressions
differently. “Variable-free” semantics is, more precisely, “free of variable binding”: it
has no operation like abstraction that turns a free variable into a bound one; it uses
combinators—operations on functions—instead.

http://homepages.nyu.edu/~as109/szabolcsi,_binding_on_the_fly,_2003.pdf

frumphd..The Believer - The Bad Mormon
The language of Dark Property is everywhere as alien—and alienating—as its landscape, its syntax as tortured, its vocabulary as odd. Evenson digs up obscure and obsolete terms, employs them rather naughtily (using verbs as adjectives, nouns as verbs), and sprinkles them throughout. Thus despite the boy’s frement, he is strampled, his body flitched and flenched. Unforgettably, the book’s one love scene goes like this: “She neither regarded his face nor chose to squirm under him. Their swollen scugs tottered the walls, gave utterance in dark tongues that mocked all flesh.” (Scugs, by the by, are shadows, and also squirrels.)

cooL ap, ESL cuncepchuel Doc(tore?) wit e’CooLear Moam s@t communsens.com\samps fall oh!:

! “It reveils a list of utterances in which the subject: TSymptom is used.”
…

“The activity that comes nearest to phrasing is probably ‘reverse engineering’.”

…

“If you make the language smaller than L0 it will disintegrate and the knowledge engine will come to a halt. L0 consists of a symbol domain S0 and a rules domain R0 like this: L0 = (S0, R0) [3]”
…
“It is important to avoid the storage of redundant information. For that reason the equality principles of Leibniz are applied to any piece of added information:

L1) Principle of the equality of what can not be distinguished.
L2) Principle of the indistinguishability of what is equal.”

…

“The architecture of the network is a derivative of the verbs of the language.”
…

“Updating the image of the world boils down to: adding, deleting and updating the language utterances that express that world.”
…

“If it is possible to create solid ontology’s, developing new applications can really become modulair.”
[ed.knowt: Uhmm…]
…

“Why does one need self definition?  The answer is: if language L has a set of syntactic rules R with a subset of meta rules M, one only has to formulate the logic for parsing, phrasing, etc. for M in order to apply them to R. If M is not a subset of R, there are 2 levels for which to formulate the logic. Moreover we should additionally define a set of meta meta rules to define the meta rules.”

Latherature!