Henk Barendregt (known for his work in lambda calculus and type theory) has good explanation of the apparent contradictions in tetra lemma.

Buddhist Phenomenology - 1.7 Explaining apparent contradictions:

http://www.cs.ru.nl/~henk/BP/bp1.html#SECTION000270000000000...

In other words: And Now for Something Completely Different...