Wahlstedt, David profile picture

Wahlstedt, David

Is this your author profile? Create an account to claim and customize it!

Dependent type theory with parameterized first-order data types and well-founded recursion