Institute Output

Hypergraph rewriting and Causal structure of $\lambda$-calculus
Research Paper Utkarsh Bajaj Research Paper Utkarsh Bajaj

Hypergraph rewriting and Causal structure of $\lambda$-calculus

Utkarsh Bajaj

Hypergraph rewriting is studied through categorical frameworks to establish foundational concepts of events and causality in graph rewriting systems. Novel concepts are introduced within double-pushout rewriting in adhesive categories. An algorithm is constructed to determine causal relations between events during λ-calculus evaluation, with extensions developed for arbitrary λ-expressions.

Read More