Intersection types in lambda calculus and logic

Tipovi sa presekom u lambda računu i logici

1993

Disertacija.pdf (2.154Mb)

IzvestajKomisije.pdf (972.4Kb)

Author

Gilezan, Silvia

Mentor

Committee members

Grulović, Milan
Boričić, Branislav
Božić, Milan
Vojvodić, Gradimir

Metadata

Show full item record

Faculty:
Универзитет у Новом Саду, Природно-математички факултет
Date:
28-12-1993

[ Google Scholar ]

Handle

https://hdl.handle.net/21.15107/rcub_nardus_17869

URI

https://www.cris.uns.ac.rs/DownloadFileServlet/Disertacija140420039088275.pdf?controlNumber=(BISIS)73293&fileName=140420039088275.pdf&id=2358&source=NaRDuS&language=sr

https://www.cris.uns.ac.rs/record.jsf?recordId=73293&source=NaRDuS&language=sr

https://www.cris.uns.ac.rs/DownloadFileServlet/IzvestajKomisije159740317919885.pdf?controlNumber=(BISIS)73293&fileName=159740317919885.pdf&id=16437&source=NaRDuS&language=sr

/DownloadFileServlet/IzvestajKomisije159740317919885.pdf?controlNumber=(BISIS)73293&fileName=159740317919885.pdf&id=16437

https://nardus.mpn.gov.rs/handle/123456789/17869