|
|
Volumn 12, Issue 6, 2002, Pages 771-795
|
|
A proof-irrelevant model of Martin-Löf's logical framework
[No Author Info available]
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
|
|
EID: 34547307949
PISSN: 09601295
EISSN: 14698072
Source Type: Journal
DOI: 10.1017/S0960129502003766 Document Type: Article |
|
Times cited : (4)
|
|
References (0)
|