By Streicher T.   in Applied Categorical Structures

ISSN:0927-2852|7|1-2|185-207

Springer Publishing Company ‎(1999)‎

Access to resources Favorite 14.487306

By Hofmann M.   Streicher T.   in Information and Computation

ISSN:0890-5401|179|2|332-355

Academic Press‎(2002)‎

Access to resources Favorite 11.260984

By Escardo M.H.   Streicher T.   in Theoretical Computer Science

ISSN:0304-3975|210|1|121-157

Elsevier‎(1999)‎

Access to resources Favorite 10.469974

By Hofmann M.   Oosten J.   Streicher T.   in Archive for Mathematical Logic

ISSN:0933-5846|45|7|795-805

Springer Publishing Company ‎(2006)‎

Access to resources Favorite 8.856813