Results 281 to 282 of about 9,195,846 (282)
Some of the next articles are maybe not open access.
Abstract Data Types and Type Theory: Theories as Types
Mathematical Logic Quarterly, 1991Ruy J. G. B. de Queiroz +1 more
openaire +2 more sources
Abstract Data Types and Type Theory: Theories as Types
Mathematical Logic Quarterly, 1991