Results 351 to 360 of about 44,292,339 (363)
Some of the next articles are maybe not open access.
Abstract Data Types and Type Theory: Theories as Types
Mathematical Logic Quarterly, 1991Tom Maibaum, Ruy J. G. B. de Queiroz
openaire +2 more sources
Abstract Data Types and Type Theory: Theories as Types
Mathematical Logic Quarterly, 1991