Samson Abramsky’s wide-ranging contributions to logical and structural aspects of Computer Science have had a major influence on the field. This book is a rich collection of papers, inspired by and extending Abramsky’s work. It contains both...Loe edasi...
(Ilmumisaeg: 02-Aug-2023, Hardback, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031241161)
Samson Abramsky’s wide-ranging contributions to logical and structural aspects of Computer Science have had a major influence on the field. This book is a rich collection of papers, inspired by and extending Abramsky’s work. It contains both...Loe edasi...
Helle Hvid Hansen, Sarah E. Murray, Mehrnoosh Sadrzadeh, Henk Zeevat
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 22-Feb-2017, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783662543313)
This book constitutes the refereed proceedings of the 11th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2015, held in Tbilisi, Georgia, in September 2015.Initially there were 64 submissions, but 29 were actually p...Loe edasi...
Chris Heunen, Mehrnoosh Sadrzadeh, Edward Grefenstette
(Ilmumisaeg: 21-Feb-2013, Hardback, Kirjastus: Oxford University Press, ISBN-13: 9780199646296)
New scientific paradigms typically consist of an expansion of the conceptual language with which we describe the world. Over the past decade, theoretical physics and quantum information theory have turned to category theory to model and reason about...Loe edasi...