Normalization in the simply typed lambda mu mu' rho theta epsilon-calculus

A tétel rövid nézete
dc.contributor.authorBattyányi, Péter
dc.contributor.authorKarim, Nour
dc.date.accessioned2023-04-11T13:48:35Z
dc.date.available2023-04-11T13:48:35Z
dc.date.issued2022
dc.date.oa2023-04-12
dc.date.pasync2024-07-18T23:06:32Z
dc.date.updated2023-04-11T13:48:34Z
dc.description.correctorKTK
dc.identifier.citationMathematical Structures In Computer Science. -32 : 8 (2022), p. 1066-1098. -Math. Struct. Comput. Sci. - 0960-1295
dc.identifier.doihttp://dx.doi.org/10.1017/S096012952200041X
dc.identifier.issn0960-1295
dc.identifier.opachttps://ebib.lib.unideb.hu/ebib/CorvinaWeb?action=cclfind&resultview=long&ccltext=idno+BIBFORM110536
dc.identifier.scopus85165632709
dc.identifier.urihttps://hdl.handle.net/2437/349143
dc.identifier.urlhttps://www.cambridge.org/core/product/identifier/S096012952200041X/type/journal_article
dc.identifier.wos000933733600001
dc.languageeng
dc.rights.accessopen access article
dc.rights.ownerszerzők
dc.subject.mabTermészettudományok
dc.subject.mabMatematika- és számítástudományok
dc.titleNormalization in the simply typed lambda mu mu' rho theta epsilon-calculus
dc.typefolyóiratcikk
dc.typeidegen nyelvű folyóiratközlemény külföldi lapban
Fájlok
Eredeti köteg (ORIGINAL bundle)
Megjelenítve 1 - 1 (Összesen 1)
Nincs kép
Név:
FILE_UP_1_normalization-in-the-simply-typed-dollarlambda-mu-mu-rho-theta-varepsilondollar-calculus.pdf
Méret:
508.31 KB
Formátum:
Adobe Portable Document Format
Leírás:
kiadói változat
Letöltés
Gyűjtemények
Publikációs Adatbázis