Normalization in the simply typed lambda mu mu' rho theta epsilon-calculus
Betöltés ...
Dátum
Authors
Folyóirat címe
Folyóirat ISSN
Kötet címe (évfolyam száma)
Kiadó
Absztrakt
Leírás
Kulcsszavak
Forrás
Mathematical Structures In Computer Science. -32 : 8 (2022), p. 1066-1098. -Math. Struct. Comput. Sci. - 0960-1295
Hivatkozás
Gyűjtemények
Jóváhagyás
Áttekintés
Kiegészítve
Hivatkozik rá
Jogok és engedélyezések
open access article
szerzők
szerzők