(no subject)
Trying to understand in general what kind of diagrammatic interactions between degree-three nodes actually read sensibly in the lambda calculus:
By logging in to LiveJournal using a third-party service you accept LiveJournal's User agreement
