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.231453

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.026165

Categories, Allegories‎

By Freyd   P. J.;Scedrov   A.  

ISBN:9780080887012

Elsevier Science‎(1990)‎

Access to resources Favorite 6.3554893