BATTYÁNYI, P., & NOUR, K. (2026). NORMALIZATION PROPERTIES OF λμ-CALCULUS USING REALIZABILITY SEMANTICS. Journal of Applied Logics- IfCoLog Journal of Logics & their Applications (FLAP), 13(3), 381.
Chicago Style (17th ed.) CitationBATTYÁNYI, PÉTER, and KARIM NOUR. "NORMALIZATION PROPERTIES OF λμ-CALCULUS USING REALIZABILITY SEMANTICS." Journal of Applied Logics- IfCoLog Journal of Logics & Their Applications (FLAP) 13, no. 3 (2026): 381.
MLA (9th ed.) CitationBATTYÁNYI, PÉTER, and KARIM NOUR. "NORMALIZATION PROPERTIES OF λμ-CALCULUS USING REALIZABILITY SEMANTICS." Journal of Applied Logics- IfCoLog Journal of Logics & Their Applications (FLAP), vol. 13, no. 3, 2026, p. 381.
Warning: These citations may not always be 100% accurate.
