An estimation for the lengths of reduction sequences of the lambda mu rho theta-calculus
Fájlok
Dátum
2018
Szerzők
Folyóirat címe
Folyóirat ISSN
Kötet címe (évfolyam száma)
Kiadó
Absztrakt
Leírás
Kulcsszavak
Forrás
Logical Methods in Computer Science. -14 : 2 (2018), p. 1-35. -Log. Methods Comput. Sci. - 1860-5974