Aleksei Tiurin

Identifiers

• name variant Aleksei Tiurin 0.60 · backfill

Papers (1)

1. Categorical E-Graphs for Lambda Calculi cs.LO · 2025 · author #1

Mentions

• 2505.00807 #1 · arxiv_oai · confidence 0.70 Aleksei Tiurin

Frequent Coauthors

• Dan R. Ghica 1 shared papers
• Nick Hu 1 shared papers