Rydeheard, David E. Books
Category Theory And Computer Science: 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995. Proceedings
By David E. Rydeheard, JOHNSTONE PETER, Pitt David, David Pitt, D. E. Rydeheard, Peter Johnstone, Rydeheard, David E.
Control Structures : A Model Of Interaction / Robin Milner -- Convenient Category Of Processes And Simulations I : Modulo Strong Bisimilarity / Dusko Pavlovic -- Dualities Between Nets And Automata...
Read More
[Lecture Notes In Computer Science] Category Theory And Computer Science Volume 953 || Decomposing Typed Lambda Calculus Into A Couple Of Categorical Programming Languages
By JOHNSTONE PETER, Pitt David, David Pitt, Rydeheard, David E.
Control Structures : A Model Of Interaction / Robin Milner -- Convenient Category Of Processes And Simulations I : Modulo Strong Bisimilarity / Dusko Pavlovic -- Dualities Between Nets And Automata...
Read More