Mathematics

Luca Cardelli, Andy Gordon

POPL 2000 Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | January 2000

ISBN: 1-58113-125-9

Dimitris Achlioptas

MSR-TR-99-96 | December 1999

Andy Gordon

December 1999

Russell Lyons, Oded Schramm

New York Journal of Mathematics | January 1999, 第 5 卷: pp. 107-113

Mark Encarnación

Applicable Algebra in Engineering, Communication and Computing (AAECC), Issue 3 | November 1998, 第 9 卷: pp. 243-245

Martin Abadi, Andy Gordon

Proceedings ESOP’98 | March 1998

Lecture Notes in Computer Science

ISBN: 9783540643029

Mark Encarnación

ISSAC ’97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation | July 1997

ISBN: 0-89791-875-4

Paliath Narendran, Margus Veanes, Andrei Voronkov, Anatoli Degtyarev, Yuri Gurevich

139 | April 1997

C.K. Koc, Tolga Acar

1997 Symposium on Computer Arithmetic | March 1997

Mark Encarnación

Information Processing Letters, Issue 4 | February 1997, 第 61 卷: pp. 201-204