Home << 1 >>
List View
 | 
Citations
 | 
Details
   web
Author Title Year Publication Publisher ISSN ISBN (up) DOI Volume Pages
Tronci, Enrico Defining Data Structures via Böhm-Out 1995 J. Funct. Program. 10.1017/S0956796800001234 5 51-64