One-step recurrent terms in λ-β-calculus

Shoji Sekimoto, Sachio Hirokawa

    Research output: Contribution to journalArticlepeer-review

    1 Citation (Scopus)

    Fingerprint Dive into the research topics of 'One-step recurrent terms in λ-β-calculus'. Together they form a unique fingerprint.

    Mathematics