dataflow syntax
This is a graphical dataflow syntax for Calculus of Constructions terms.
alt="This page requires Java support.">
references
Cube
Josh Burdick
/
jburdick@gradient.cis.upenn.edu