Abstract Scalars‚ Loops‚ and Free Traced and Strongly Compact Closed Categories

Detalhes bibliográficos
Autor principal: Abramsky, S
Formato: Conference item
Publicado em: 2005