Search Results for Combinatory logic.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dCombinatory$002blogic.$0026ic$003dtrue$0026ps$003d300?dt=list2024-12-18T18:46:40ZCombinatory logicent://SD_ILS/0/SD_ILS:2572782024-12-18T18:46:40Z2024-12-18T18:46:40ZAuthor Curry, Haskell B. (Haskell Brooks), 1900-1982. Feys, Robert. Craig, William, 1918-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533876">http://www.sciencedirect.com/science/book/9780444533876</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Combinatory logic. Volume IIent://SD_ILS/0/SD_ILS:2572542024-12-18T18:46:40Z2024-12-18T18:46:40ZAuthor Curry, Haskell B. (Haskell Brooks), 1900-1982. Hindley, J. Roger. Seldin, J. P.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422085">http://www.sciencedirect.com/science/book/9780720422085</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Combinatory logic pure, applied and typedent://SD_ILS/0/SD_ILS:2851212024-12-18T18:46:40Z2024-12-18T18:46:40ZAuthor Bimb,̤ Katalin, 1963-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439800010">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intersection and union types for combinatory logic and principal type-scheme for concurrent lambda-calculus.ent://SD_ILS/0/SD_ILS:264872024-12-18T18:46:40Z2024-12-18T18:46:40ZAuthor Aoun, Ali Salem<br/>Preferred Shelf Number TEZ 3422 DR. 1996<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Algebra of proofsent://SD_ILS/0/SD_ILS:2573072024-12-18T18:46:40Z2024-12-18T18:46:40ZAuthor Szabo, M. E.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422863">http://www.sciencedirect.com/science/book/9780720422863</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>