Arama Sonuçları - Daraltılmış: 1997 - Tez - Aoun, Ali Salem.SirsiDynix Enterprisehttp://katalog.baskent.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dPUBDATE$002509Publication$002bDate$0025091997$0025091997$0026qf$003dITYPE$002509Materyal$002bT$0025C3$0025BCr$0025C3$0025BC$0025091$00253ATEZ$002509Tez$0026qf$003dAUTHOR$002509Yazar$002509Aoun$00252C$002bAli$002bSalem.$002509Aoun$00252C$002bAli$002bSalem.$0026ps$003d300?dt=list2024-09-20T04:17:20ZIntersection and union types for combinatory logic and principal type-scheme for concurrent lambda-calculusent://SD_ILS/0/SD_ILS:11544912024-09-20T04:17:20Z2024-09-20T04:17:20Zby Aoun, Ali Salem.<br/>Format: Kitap<br/>