Authenticus:P-004-DV9 | CMUP

On principal types of BCK-lambda-Terms

Logic, Language, Information and Computation, Proceedings | 2007 | inproceedings

Publication

Year of publication: 2007

Volume : 4576

Pages : 120-130

Month :

CMUP publication : Yes

Authors

L Damas