Search Results for - Narrowed by: Milner, R. (Robin), 1934-2010. - Electronic books. SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dAUTHOR$002509Yazar$002509Milner$00252C$002bR.$002b$002528Robin$002529$00252C$002b1934-2010.$002509Milner$00252C$002bR.$002b$002528Robin$002529$00252C$002b1934-2010.$0026qf$003dSUBJECT$002509Konu$002509Electronic$002bbooks.$002509Electronic$002bbooks.$0026ps$003d300$0026isd$003dtrue? 2024-06-17T05:09:42Z Proof, language, and interaction : essays in honour of Robin Milner ent://SD_ILS/0/SD_ILS:14596 2024-06-17T05:09:42Z 2024-06-17T05:09:42Z Yazar&#160;Plotkin, G. (Gordon), 1946-<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267426">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267426</a><br/>Format:&#160;Electronic Resources<br/> The definition of standard ML ent://SD_ILS/0/SD_ILS:14624 2024-06-17T05:09:42Z 2024-06-17T05:09:42Z Yazar&#160;Milner, R. (Robin), 1934-2010.<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267454">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267454</a><br/>Format:&#160;Electronic Resources<br/>