Intesection types and resource control in the intuitionistic sequent lambda calculus

Резултати

Naziv:	Intesection types and resource control in the intuitionistic sequent lambda calculus
Ostali nazivi:	Типови са пресеком и контрола ресурса у интуиционистичком секвентном ламбда рачуну Tipovi sa presekom i kontrola resursa u intuicionističkom sekventnom lambda računu
Autori:	Ivetić, Jelena
Mentor:	Gilezan, Silvia
Ostala autorstva:	Pantović, Jovanka ; Lescanne, Pierre; Espírito Santo, José; Likavec, Silvia ; Gilezan, Silvia
Godina:	2013
Publikacija:	Универзитет у Новом Саду
Izdavač:	Нови Сад : Универзитет у Новом Саду, Факултет техничких наука
Tip rezultata:	Doktorska disertacija
Kolacija:	str. 1-170
DOI:	10.2298/ns20131009ivetic
VBS COBISS:	283194119
URI:	http://www.cris.uns.ac.rs/DownloadFileServlet/Disertacijadisertacija.pdf?controlNumber=(BISIS)83357&fileName=disertacija.pdf&id=595&source=NaRDuS&language=sr https://enauka.gov.rs/handle/123456789/556395 http://www.cris.uns.ac.rs/DownloadFileServlet/IzvestajKomisije141111324933636.pdf?controlNumber=(BISIS)83357&fileName=141111324933636.pdf&id=2657&source=NaRDuS&language=sr http://www.cris.uns.ac.rs/record.jsf?recordId=83357&source=NaRDuS&language=sr https://nardus.mpn.gov.rs/handle/123456789/8856
URL:	https://nardus.mpn.gov.rs/handle/123456789/8856
M-kategorija:	70M70 - Odbranjena doktorska disertacija

Алт метрика

Dimensions

Unpaywall

Google Scholar^TM

Creative Commons лиценца