DMCA

Dependent Type Theory with Parameterized First-Order Data Types and Well-Founded Recursion (2007)

by David Wahlstedt , David Wahlstedt , C David Wahlstedt
Citations:3 - 0 self