Envios by Charles Alston

SCID (Source Code in Database)

a Graphical Notation for the Lambda Calculus With Animated Reduction

An updatable holographic three-dimensional display. Tay, Peyghambarian, et al