#
Knowledge Base of

Publications,
Seminars,
& Math Library

PhD theses from the project are accessible at the NCSTRL web site.

## Filter for: Brent Knight

1 results

*
Program Optimization in Type Theory *

by Brent Knight

October 18, 1994