Výsledky vyhledávání - Theory of computation–Models of computation— Computability–Lambda calculus~

History of Logo Autor Solomon, Cynthia, Harvey, Brian, Kahn, Ken, Lieberman, Henry, Miller, Mark L., Minsky, Margaret, Papert, Artemis, Silverman, Brian

“… Early Lisp served as a model with its symbolic computation, recursive functions, operations on linked lists, and dynamic scoping of variables…”
Získat plný text

Graphical Language with Delayed Trace: Picturing Quantum Computing with Finite Memory Autor Carette, Titouan, de Visme, Marc, Perdrix, Simon

“…Graphical languages, like quantum circuits or ZX-calculus, have been successfully designed to represent (memoryless…”
Získat plný text