TAS::57 3600::TAS "TYPE THEORY, COMPUTATION AND INTERACTIVE THEOREM PROVING,"

Carnegie Mellon University, Pittsburgh PA

Investigators