Search Results - Theory of computation–Models of computation— Computability–Lambda calculus

History of Logo by 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…”
Get full text

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

“…Graphical languages, like quantum circuits or ZX-calculus, have been successfully designed to represent (memoryless…”
Get full text