## Impredicative Representations of Categorical Datatypes (1994)

by
Thorsten Altenkirch

### BibTeX

@MISC{Altenkirch94impredicativerepresentations,

author = {Thorsten Altenkirch},

title = {Impredicative Representations of Categorical Datatypes},

year = {1994}

}

### OpenURL

### Abstract

this document that certain implications are not based on a well stated formal theory but require a certain amount of hand-waving.