Show simple item record

Типови са пресеком и контрола ресурса у интуиционистичком секвентном ламбда рачуну;
Tipovi sa presekom i kontrola resursa u intuicionističkom sekventnom lambda računu

dc.contributor.advisorGilezan, Silvia
dc.contributor.otherPantović, Jovanka
dc.contributor.otherLescanne, Pierre
dc.contributor.otherEspírito Santo, José
dc.contributor.otherLikavec, Silvia
dc.contributor.otherGilezan, Silvia
dc.creatorIvetić, Jelena
dc.date.accessioned2017-11-13T11:14:50Z
dc.date.available2017-11-13T11:14:50Z
dc.date.issued2013-10-09
dc.identifier.urihttp://www.cris.uns.ac.rs/DownloadFileServlet/Disertacijadisertacija.pdf?controlNumber=(BISIS)83357&fileName=disertacija.pdf&id=595&source=NaRDuS&language=srsr
dc.identifier.urihttp://www.cris.uns.ac.rs/record.jsf?recordId=83357&source=NaRDuS&language=srsr
dc.identifier.urihttp://www.cris.uns.ac.rs/DownloadFileServlet/IzvestajKomisije141111324933636.pdf?controlNumber=(BISIS)83357&fileName=141111324933636.pdf&id=2657&source=NaRDuS&language=srsr
dc.identifier.uri/DownloadFileServlet/IzvestajKomisije141111324933636.pdf?controlNumber=(BISIS)83357&fileName=141111324933636.pdf&id=2657
dc.identifier.urihttp://nardus.mpn.gov.rs/123456789/8856
dc.description.abstractThis thesis studies computational interpretations of the intuitionistic sequent calculus with implicit and explicit structural rules, with focus on the systems with intersection types. The contributions of the thesis are grouped into three parts. In the first part intersection types are introduced into the lambda Gentzen calculus. The second part presents an extension of the lambda Gentzen calculus to a term calculus with resource control, i.e. with explicit operators for contraction and weakening, and apropriate intersection type assignment system which characterises strong normalisation in the proposed calculus. In the third part both previously studied calculi are integrated into one framework by introducing the notion of the resource control cube.en
dc.description.abstractОва дисертација се бави рачунским интерпретацијама интуиционистичког секвентног рачуна са имплицитним и експлицитним структурним правилима, са фокусом на типске системе са пресеком. Оригинални резултати тезе су груписани у три целине. У првом делу су типови са пресеком уведени у lambda Gentzen рачун. Други део представља проширење lambda Gentzen рачуна на формални рачун са контролом ресурса, тј. са експлицитним операторима контракције и слабљења, као и одговарајући типски систем са пресеком који карактерише јаку нормализацију у уведеном рачуну. У трећем делу оба рачуна су интегрисана у заједнички оквир увођењем структуре resource control cube.sr
dc.description.abstractOva disertacija se bavi računskim interpretacijama intuicionističkog sekventnog računa sa implicitnim i eksplicitnim strukturnim pravilima, sa fokusom na tipske sisteme sa presekom. Originalni rezultati teze su grupisani u tri celine. U prvom delu su tipovi sa presekom uvedeni u lambda Gentzen račun. Drugi deo predstavlja proširenje lambda Gentzen računa na formalni račun sa kontrolom resursa, tj. sa eksplicitnim operatorima kontrakcije i slabljenja, kao i odgovarajući tipski sistem sa presekom koji karakteriše jaku normalizaciju u uvedenom računu. U trećem delu oba računa su integrisana u zajednički okvir uvođenjem strukture resource control cube.sr
dc.languageen
dc.publisherУниверзитет у Новом Саду, Факултет техничких наукаsr
dc.rightsCreative Commons
dc.sourceУниверзитет у Новом Садуsr
dc.subjectLambda calculusen
dc.subjectЛамбда рачунsr
dc.subjectLambda računsr
dc.subjectсеквентни рачунsr
dc.subjectтипови са пресекомsr
dc.subjectконтрола ресурсаsr
dc.subjectsequent calculusen
dc.subjectintersection typesen
dc.subjectresource controlen
dc.subjectsekventni računsr
dc.subjecttipovi sa presekomsr
dc.subjectkontrola resursasr
dc.titleIntesection types and resource control in the intuitionistic sequent lambda calculusen
dc.title.alternativeТипови са пресеком и контрола ресурса у интуиционистичком секвентном ламбда рачунуsr
dc.title.alternativeTipovi sa presekom i kontrola resursa u intuicionističkom sekventnom lambda računusr
dc.typeDoktorska disertacijasr
dcterms.abstractГилезан, Силвиа; Пантовић, Јованка; Лесцанне, Пиерре; Еспíрито Санто, Јосé; Ликавец, Силвиа; Гилезан, Силвиа; Иветић, Јелена;


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record