Приказ основних података о дисертацији
Intersection types in lambda calculus and logic
Tipovi sa presekom u lambda računu i logici
| dc.contributor.advisor | Došen, Kosta | |
| dc.contributor.other | Grulović, Milan | |
| dc.contributor.other | Boričić, Branislav | |
| dc.contributor.other | Božić, Milan | |
| dc.contributor.other | Vojvodić, Gradimir | |
| dc.creator | Gilezan, Silvia | |
| dc.date.accessioned | 2021-02-25T14:52:23Z | |
| dc.date.available | 2021-02-25T14:52:23Z | |
| dc.date.issued | 1993-12-28 | |
| dc.identifier.uri | https://www.cris.uns.ac.rs/DownloadFileServlet/Disertacija140420039088275.pdf?controlNumber=(BISIS)73293&fileName=140420039088275.pdf&id=2358&source=NaRDuS&language=sr | sr |
| dc.identifier.uri | https://www.cris.uns.ac.rs/record.jsf?recordId=73293&source=NaRDuS&language=sr | sr |
| dc.identifier.uri | https://www.cris.uns.ac.rs/DownloadFileServlet/IzvestajKomisije159740317919885.pdf?controlNumber=(BISIS)73293&fileName=159740317919885.pdf&id=16437&source=NaRDuS&language=sr | sr |
| dc.identifier.uri | /DownloadFileServlet/IzvestajKomisije159740317919885.pdf?controlNumber=(BISIS)73293&fileName=159740317919885.pdf&id=16437 | |
| dc.identifier.uri | https://nardus.mpn.gov.rs/handle/123456789/17869 | |
| dc.language | en | |
| dc.publisher | Универзитет у Новом Саду, Природно-математички факултет | sr |
| dc.rights | openAccess | en |
| dc.rights.uri | https://creativecommons.org/licenses/by-nc-nd/4.0/ | |
| dc.source | Универзитет у Новом Саду | sr |
| dc.title | Intersection types in lambda calculus and logic | en |
| dc.title.alternative | Tipovi sa presekom u lambda računu i logici | sr |
| dc.type | doctoralThesis | en |
| dc.rights.license | BY-NC-ND | |
| dcterms.abstract | Дошен, Коста; Божић, Милан; Боричић, Бранислав; Груловић, Милан; Војводић, Градимир; Гилезан, Силвиа; | |
| dc.identifier.fulltext | https://nardus.mpn.gov.rs/bitstream/id/68429/IzvestajKomisije.pdf | |
| dc.identifier.fulltext | https://nardus.mpn.gov.rs/bitstream/id/68428/Disertacija.pdf | |
| dc.identifier.rcub | https://hdl.handle.net/21.15107/rcub_nardus_17869 |
