Skip to main navigation Skip to search Skip to main content

Inductive types in constructive languages

  • Peter Johan de Bruin

Research output: Thesis › Thesis fully internal (DIV)

4174 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Inductive types in constructive languages'. Together they form a unique fingerprint.
Sort by

Keyphrases

Computer Science