Inductive, Coinductive, and Pointed Types

Open Webpage

Brian T. Howard

Published: 1996, Last Modified: 26 May 2026ICFP 1996EveryoneRevisionsBibTeXCC BY-SA 4.0