Semantics for Combinatory Logic With Intersection Types

Ghilezan, Silvia; Kašterović, Simona

Rezultati

eNauka > Rezultati > Semantics for Combinatory Logic With Intersection Types

Naziv:	Semantics for Combinatory Logic With Intersection Types
Autori:	Ghilezan, Silvia ; Kašterović, Simona
Godina:	2022
ISSN:	2624-9898 FRONTIERS IN COMPUTER SCIENCE Pretraži identifikator
Izdavač:	Frontiers Media S.A.
Tip rezultata:	Naučni članak
Kolacija:	vol. 4 str. 792570
DOI:	10.3389/fcomp.2022.792570
WoS-ID:	000831744300001
Scopus-ID:	2-s2.0-85134996917
URI:	http://researchrepository.mi.sanu.ac.rs/handle/123456789/4822 https://enauka.gov.rs/handle/123456789/579833
M-kategorija:	Mp kategorija će biti prikazana naknadno.

1
SCOPUS^TM

Alt metrika

Dimensions

Pronađi DOI

Pronalaženje DOI u servisu CrossRef-u na osnovu meta-podataka u zapisu. Prikazaće se DOI (i metapodaci) čiji se podaci najviše poklapaju. OPREZ - to ne mora biti ta publikacija.

Unpaywall

Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.