research

Publications

On long normal inhabitants of a type

Journal of Logic and Computation | 2005 | article

Publication

Year of publication: 2005

Volume : 15

Pages : 353-390

Month :

CMUP publication : Yes

Authors

L Damas