Call-By-Push-Value

Call-By-Push-Value

P.B. Levy

242,73 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
2003
ISBN:
9781402017308
242,73 €
IVA incluido
Disponible

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)
Sobre IBD

Call-by-push-value is a programming language paradigm that, surprisingly, breaks down the call-by-value and call-by-name paradigms into simple primitives. This monograph, written for graduate students and researchers, exposes the call-by-push-value structure underlying a remarkable range of semantics, including operational semantics, domains, possible worlds, continuations and games.

Artículos relacionados

  • Neural Networks with Python
    Mei Wong
    'Neural Networks with Python' serves as an introductory guide for those taking their first steps into neural network development with Python. It’s tailored to assist beginners in understanding the foundational elements of neural networks and to provide them with the confidence to delve deeper into this intriguing area of machine learning.In this book, readers will embark on a l...
    Disponible

    56,97 €

  • AI and Deep Learning Fundamentals
    BalaAnand Muthu / Jayanthi S / Sivaparthipan C. B.
    Welcome to the world of AI and Deep Learning! This book is a culmination of years of research, innovation, and practical insights into the fascinating realms of artificial intelligence and deep learning. In this rapidly evolving landscape, the convergence of neuroscience, mathematics, and computer science has sparked a revolution, redefining how machines perceive, learn, and in...
    Disponible

    47,00 €

  • IoT Application of Machine Learning and Deep Learning
    Dhiliphan Rajkumar T / Jeyaranjani J / Sathesh Kumar K
    The fusion of the Internet of Things (IoT) with the prowess of Machine Learning and Deep Learning has ignited a revolution in the realm of technology. 'IoT Application of Machine Learning and Deep Learning' is a comprehensive journey into this transformative synergy, designed to illuminate the convergence of these cutting-edge domains. This book aims to be a guiding light for e...
    Disponible

    43,31 €

  • Algorithmic Information Theory
    Gregory J. Chaitin / Gregory JChaitin
    ...
    Disponible

    84,56 €

  • Bounded Queries in Recursion Theory
    G. Martin / W. Gasarch / William I. Gasarch
    One of the major concerns of theoretical computer science is the classifi­ cation of problems in terms of how hard they are. The natural measure of difficulty of a function is the amount of time needed to compute it (as a function of the length of the input). Other resources, such as space, have also been considered. In recursion theory, by contrast, ...
    Disponible

    132,15 €

  • Probabilistic Analysis of Algorithms
    Micha Hofri
    Probabilistic Analysis of Algorithms begins with a presentation of the 'tools of the trade' currently used in probabilistic analyses, and continues with an applications section in which these tools are used in the analysis ofr selected algorithms. The tools section of the book provides the reader with an arsenal of analytic and numeric computing metho...
    Disponible

    66,41 €

Otros libros del autor