Normalization proofs for the un-typed ??-calculus

Dátum
2020
Szerzők
Battyányi, Péter
Nour, Karim
Folyóirat címe
Folyóirat ISSN
Kötet címe (évfolyam száma)
Kiadó
Absztrakt
Leírás
Kulcsszavak
Forrás
AIMS Mathematics. -5 : 4 (2020), p. 3702-3713. -AIMS Math. - 2473-6988