APA (7th ed.) Citation

Böhm, C., & Tian, C. (2025). Some properties of $β$-$η$-normal forms in $λ$-K-calculus (Alcune proprietá delle forme $β$-$η$-normali nel $λ$-K-calcolo).

Chicago Style (17th ed.) Citation

Böhm, Corrado, and Chun Tian. Some Properties of $β$-$η$-normal Forms in $λ$-K-calculus (Alcune Proprietá Delle Forme $β$-$η$-normali Nel $λ$-K-calcolo). 2025.

MLA (9th ed.) Citation

Böhm, Corrado, and Chun Tian. Some Properties of $β$-$η$-normal Forms in $λ$-K-calculus (Alcune Proprietá Delle Forme $β$-$η$-normali Nel $λ$-K-calcolo). 2025.