Intersection types in lambda calculus and logic

Intersection types in lambda calculus and logic

Bibliographic Details
Main Author: Gilezan Silvia
Other Authors: Došen Kosta
Language:en
Published: Univerzitet u Novom Sadu, Prirodno-matematički fakultet u Novom Sadu 1993
Online Access:https://www.cris.uns.ac.rs/DownloadFileServlet/Disertacija140420039088275.pdf?controlNumber=(BISIS)73293&fileName=140420039088275.pdf&id=2358&source=NDLTD&language=en
https://www.cris.uns.ac.rs/record.jsf?recordId=73293&source=NDLTD&language=en

Internet

https://www.cris.uns.ac.rs/DownloadFileServlet/Disertacija140420039088275.pdf?controlNumber=(BISIS)73293&fileName=140420039088275.pdf&id=2358&source=NDLTD&language=en
https://www.cris.uns.ac.rs/record.jsf?recordId=73293&source=NDLTD&language=en

Similar Items