By Tennent R.D.   in LISP and Symbolic Computation

ISSN:1388-3690|13|1-2|119-129

Springer Publishing Company ‎(2000)‎

Access to resources Favorite 19.320335

By O'Hearn P.W.   Power A.J.   Takeyama M.   Tennent R.D.   in Electronic Notes in Theoretical Computer Science

ISSN:1571-0661|1|1|1-40

Elsevier‎(2004)‎

Access to resources Favorite 9.660168

By O'Hearn P.W.   Power A.J.   Takeyama M.   Tennent R.D.   in Theoretical Computer Science

ISSN:0304-3975|228|1|211-252

Elsevier‎(1999)‎

Access to resources Favorite 9.660168

By Freyd P.J.   O'Hearn P.W.   Power A.J.   Takeyama M.   Tennent R.D.   in Electronic Notes in Theoretical Computer Science

ISSN:1571-0661|1|1|1-15

Elsevier‎(2004)‎

Access to resources Favorite 9.254903

By Freyd P.J.   O'Hearn P.W.   Power A.J.   Takeyama M.   Street R.   Tennent R.D.   in Theoretical Computer Science

ISSN:0304-3975|228|1|49-76

Elsevier‎(1999)‎

Access to resources Favorite 8.047382