海量图书期刊资源,随时随地畅享阅读乐趣
[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 283 || Categories and effective computationsPitt, David H.; Poigné, Axel; Rydeheard, David E. · 1987
[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 530 || Constructions and predicatesPitt, David H.; Curien, Pierre-Louis; Abramsky, Samson; Pitts, Andrew M.; Poigné, Axel; Rydeheard, David E. · 1991
[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 283 || Logical aspects of denotational semanticsPitt, David H.; Poigné, Axel; Rydeheard, David E. · 1987
[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 283 || A category of Galois connectionsPitt, David H.; Poigné, Axel; Rydeheard, David E. · 1987
[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 530 || Higher dimensional word problemPitt, David H.; Curien, Pierre-Louis; Abramsky, Samson; Pitts, Andrew M.; Poigné, Axel; Rydeheard, David E. · 1991
[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 530 || Categories of information systemsPitt, David H.; Curien, Pierre-Louis; Abramsky, Samson; Pitts, Andrew M.; Poigné, Axel; Rydeheard, David E. · 1991
[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 530 || Bifinite domains: Stable casePitt, David H.; Curien, Pierre-Louis; Abramsky, Samson; Pitts, Andrew M.; Poigné, Axel; Rydeheard, David E. · 1991
[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 530 || Dataflow networks are fibrationsPitt, David H.; Curien, Pierre-Louis; Abramsky, Samson; Pitts, Andrew M.; Poigné, Axel; Rydeheard, David E. · 1991