Pointfree factorization of operation refinement Capítulo de livro

http://www.scopus.com/inward/record.url?eid=2-s2.0-33749389927&partnerID=MN8TOARS

Visão geral

autores

Oliveira, José Nuno Fonseca
Oliveira, J.N.
Rodrigues, C.J.

data de publicação

2006