Switch to list view
Switch to thumbnail view
3 Results Found Subscribe to search results
000DEFAULT
Print
1. 
Cover image for Proof, language, and interaction essays in honour of Robin Milner
Proof, language, and interaction essays in honour of Robin Milner
Author 
Plotkin, G. (Gordon), 1946- Stirling, Colin P. Tofte, Mads. Milner, R. (Robin), 1934-2010.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267426
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Ruslar
Ruslar
Author 
Milner-Gulland, Robin. Tırnakçı, Bahar.
Preferred Shelf Number 
DK32.M55 R87 2023
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
3. 
Cover image for The definition of standard ML revised
The definition of standard ML revised
Author 
Milner, R. (Robin), 1934-2010.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267454
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets