Siddharth Mishra

Personal blogging and note taking.

Home | Blog | RSS | GitHub | CV | Lists | Guestbook | Search

Archive

2026 (3)
2025 (10)
2024 (5)
2023 (4)
2022 (6)
2021 (9)

Tags

Crackme (9)
Reversing (8)
Automata-Theory (6)
C (6)
Language (6)
Theory-of-Computing (6)
Lambda Calculus (5)
First (4)
Assembly (3)
GameEngine (3)
Infinity (3)
Windows (3)

Bound-Variables

Lambda Calculus - Free & Bound Variables
6 February 2025 | 2 min read | 284 words
Notes on Lambda Calculus

Site Info

Posts: 37
Pages: 49
Reading: 92053 words
Read Time: 456 min
Since: 2021
Latest: 11 April 2026

Recently Read Papers

Protecting Browsers from Extension Vulnerabilities
Extending a Hand to Attackers: Browser Privilege Escalation Attacks via Extensions
The Dangers of Human Touch: Fingerprinting Browser Extensions through User Actions