Intersection types in lambda calculus and logic

Gilezan, Silvia

Резултати

еНаука > Резултати > Intersection types in lambda calculus and logic

Назив:	Intersection types in lambda calculus and logic
Остали називи:	Tipovi sa presekom u lambda računu i logici
Аутори:	Gilezan, Silvia
Ментор:	Došen, Kosta
Остала ауторства:	Grulović, Milan; Boričić, Branislav; Božić, Milan; Vojvodić, Gradimir
Година:	1993
Публикација:	Универзитет у Новом Саду
Издавач:	Универзитет у Новом Саду, Природно-математички факултет
Тип резултата:	Докторска дисертација
URI:	https://www.cris.uns.ac.rs/record.jsf?recordId=73293&source=NaRDuS&language=sr https://enauka.gov.rs/handle/123456789/258677 https://www.cris.uns.ac.rs/record.jsf?recordId=73293&source=eNauka&language=en https://www.cris.uns.ac.rs/DownloadFileServlet/IzvestajKomisije159740317919885.pdf?controlNumber=(BISIS)73293&fileName=159740317919885.pdf&id=16437&source=NaRDuS&language=sr https://www.cris.uns.ac.rs/DownloadFileServlet/Disertacija140420039088275.pdf?controlNumber=(BISIS)73293&fileName=140420039088275.pdf&id=2358&source=NaRDuS&language=sr http://researchrepository.mi.sanu.ac.rs/handle/123456789/4071 https://nardus.mpn.gov.rs/handle/123456789/17869 /DownloadFileServlet/IzvestajKomisije159740317919885.pdf?controlNumber=(BISIS)73293&fileName=159740317919885.pdf&id=16437
М-категорија:	70M70 - Одбрањена докторска дисертација

Пронађи DOI

Проналажење DOI у сервису CrossRef-у на основу мета-података у запису. Приказаће се DOI (и метаподаци) чији се подаци највише поклапају. ОПРЕЗ - то не мора бити та публикација.

Google Scholar^TM

Creative Commons лиценца