![]() |
Volumn 243, Issue 1-2, 2000, Pages 199-215
|
A Gentzen-style sequent calculus of constructions with expansion rules
|
Author keywords
Calculus of constructions; Gentzen style L formulation; Typed calculus
|
Indexed keywords
|
EID: 0346676537
PISSN: 03043975
EISSN: None
Source Type: Journal
DOI: 10.1016/S0304-3975(98)00195-9 Document Type: Article |
Times cited : (5)
|
References (6)
|