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

Identifique-se para postar sua resenha

Identifique-se para adicionar novas tags

Buscando em bases de dados remotas. Favor aguardar.