#
Knowledge Base of

Publications,
Seminars,
& Math Library

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

## Filter for: Ariel Kellison

1 results

*
Implementing Euclid's Straightedge and Compass Constructions in Type Theory *

by Ariel Kellison, Mark Bickford, Robert L. Constable

2018