skip to main content

Constructing a small category of setoids

WILANDER, OLOV

Mathematical structures in computer science, 2012-02, Vol.22 (1), p.103-121 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por

Buscando em bases de dados remotas. Favor aguardar.