toggle visibility Search & Display Options

Select All    Deselect All
 | 
Citations
 | 
   print
Enrico Tronci. "Defining Data Structures via Böhm-Out." J. Funct. Program. 5, no. 1 (1995): 51–64. DOI: 10.1017/S0956796800001234.
toggle visibility
Select All    Deselect All
 | 
Citations
 | 
   print