Login
|
New Account
ITA
ENG
some Lambda Calculus and Type Theory Formalized
Authors
J.McKinna,R.Pollack
Citation
J.mckinna,r.pollack, some Lambda Calculus and Type Theory Formalized, Journal of automated reasoning , 23(3/4), 1999, pp. 373-409
Journal title
Journal of automated reasoning
→
ACNP
ISSN journal
01687433
Volume
23
Issue
3/4
Year of publication
1999
Pages
373 - 409
Database
ACNP
SICI code