The University of Warwick Library - WebBridge

Fragments of ML decidable by nested data class memory automata
Cotton-Barratt, Conrad.  Foundations of software science and computation structures : 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings.  no. Volume 9034.   2015. p. 249 - 263... issn: 0302-9743 .   

Online access not found

Sorry - based on the information provided, WebBridge cannot offer appropriate links.