Reduction and Unification in Lambda Calculi with a General Notion of Subtype

Authors
Z.Qian,T.Nipkow
Citation
Z.qian,t.nipkow, Reduction and Unification in Lambda Calculi with a General Notion of Subtype, Journal of automated reasoning , 12(3), 1994, pp. 389-406
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
12
Issue
3
Year of publication
1994
Pages
389 - 406
Database
ACNP
SICI code