No label defined (Q2871864)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article |
Statements
10 January 2014
0 references
logical frameworks
0 references
normalization
0 references
Tait's method
0 references
logical relations
0 references
reducibility candidates
0 references
HOAS
0 references
ATS/LF
0 references