David E. Rydeheard – författare
Visar alla böcker från författaren David E. Rydeheard. Handla med fri frakt och snabb leverans.
4 produkter
Category Theory and Computer Science
Edinburgh, UK, September 7-9, 1987. Proceedings
Av David H. Pitt, Axel Poigne m. fl.
Häftad, 1987
552 kr
Lägg i varukorg
Category Theory and Computer Science
Manchester, UK, September 5-8, 1989. Proceedings
Av David H. Pitt, David E. Rydeheard m. fl.
Häftad, 1989
534 kr
Lägg i varukorg
Category Theory and Computer Science
Paris, France, September 3-6, 1991. Proceedings
Av David H. Pitt, Pierre-Louis Curien m. fl.
Häftad, 1991
552 kr
Lägg i varukorg
The papers in this volume were presented at the fourthbiennial Summer Conference on Category Theory and ComputerScience, held in Paris, September3-6, 1991. Category theorycontinues to be an important tool in foundationalstudies incomputer science. It has been widely applied by logicians toget …
Category Theory and Computer Science
6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995. Proceedings
Av David Pitt, David E. Rydeheard m. fl.
Häftad, 1995
568 kr
Lägg i varukorg
This book presents the proceedings of the Sixth International Conference on Category Theory and Computer Science, CTCS '95, held in Cambridge, UK in August 1995.The 15 revised full papers included in the volume document the exploitation of links between logic and category theory leading to a solid …
