NORMALIZATION PROPERTIES OF λμ-CALCULUS USING REALIZABILITY SEMANTICS.
Saved in:
| Title: | NORMALIZATION PROPERTIES OF λμ-CALCULUS USING REALIZABILITY SEMANTICS. |
|---|---|
| Authors: | BATTYÁNYI, PÉTER1 battyanyi.peter@inf.unideb.hu, NOUR, KARIM2 karim.nour@univ-smb.fr |
| Source: | Journal of Applied Logics- IfCoLog Journal of Logics & their Applications (FLAP). Jul2026, Vol. 13 Issue 3, p381-428. 48p. |
| Database: | Mathematics Source |
| ISSN: | 26319810 |
|---|
