Normalization in the simply typed lambda mu mu' rho theta epsilon-calculus
Dátum
2022
Szerzők
Battyányi, Péter
Karim, Nour
Folyóirat címe
Folyóirat ISSN
Kötet címe (évfolyam száma)
Kiadó
Absztrakt
Leírás
Kulcsszavak
Természettudományok, Matematika- és számítástudományok
Jogtulajdonos
szerzők
Jelzet
Egyéb azonosító
Forrás
Mathematical Structures In Computer Science. -32 : 8 (2022), p. 1066-1098. -Math. Struct. Comput. Sci. - 0960-1295