Results 351 to 360 of about 44,292,339 (363)
Some of the next articles are maybe not open access.

Data Types

1991
John C. Antenucci   +4 more
openaire   +1 more source

Abstract Data Types and Type Theory: Theories as Types

Mathematical Logic Quarterly, 1991
Tom Maibaum, Ruy J. G. B. de Queiroz
openaire   +2 more sources

Data Types as Lattices

SIAM Journal on Computing, 1976
openaire   +1 more source

Home - About - Disclaimer - Privacy