共 50 条
- [42] ON THE ALGEBRAIC DEFINITION OF PROGRAMMING-LANGUAGES ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1987, 9 (01): : 54 - 99
- [48] Number theory - Arithmetic on an algebraic curve COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES, 1927, 185 : 1426 - 1428