Workshop on Category Theory and ComputerScience (3. : 1989 : Manchester, UK) David H Pitt; Peter Dybjer; A. M Pitts (Andrew M.); Axel Poigne; David E Rydeheard
Berlin Springer 1989
Disponible en
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.389 ex.1 ) y otras localizaciones(Obténgalo)
Workshop on Category Theory and Computer Programming (4. : 1991 : Paris, FR) David H Pitt; A. M Pitts (Andrew M.); David E Rydeheard; Axel Poigne; Samson Abramsky 1953-; Pierre -Louis Curien
Berlin Springer 1991
Disponible en
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.530 e.1 ) y otras localizaciones(Obténgalo)