![]() |
Volumn 1548, Issue , 1998, Pages 422-437
|
Condensing lemmas for pure type systems with universes
|
Author keywords
[No Author keywords available]
|
Indexed keywords
ALGEBRA;
SOFTWARE ENGINEERING;
LOGIC SYSTEMS;
LOGICAL FRAMEWORKS;
NON-TRIVIAL;
PARAMETERIZED;
PROOF ASSISTANT;
PROOF SYSTEM;
PURE TYPE SYSTEMS;
TYPECHECKING;
COMPUTER PROGRAMMING LANGUAGES;
|
EID: 84959019846
PISSN: 03029743
EISSN: 16113349
Source Type: Book Series
DOI: 10.1007/3-540-49253-4_30 Document Type: Conference Paper |
Times cited : (3)
|
References (12)
|