Authenticus:P-001-6AT | CMUP

Counting a type's principal inhabitants - (Extended abstract)

Typed Lambda Calculi and Applications | 1999 | article

Publication

Year of publication: 1999

Volume : 1581

Pages : 69-82

Month :

CMUP publication : Yes

Authors

L Damas