In this quick post, we will walk through the proof of the Church-Rosser theorem for the untyped lambda calculus. We use the standard Tait-Martin-Lö...

I was studying for my end-term examinations, and encountered this beautiful relation describing how the function which counts the number of divisor...

ok, I have my end-term examinations underway, and I found a somewhat interesting topic in cryptology, namely: “Incrementally Verifiable Computation...

In this quick post, we will derive the decryption error probability bound that frequently appears in LWE and RLWE-based encryption schemes, using a...

In quick post, we will prove how the complex space $$\mathbb{H} = \{[\mathbf{z} = (z_j)_{j \in \mathbb{Z}_M^*} \in \mathbb{C}^N : z_j &#x...