An elementary proof of strong normalization for intersection types.
- Published in:
- Archive for Mathematical Logic, 2001, v. 40, n. 7, p. 475, doi. 10.1007/s001530000070
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2001 AND VI 40 AND IP 7
Results: 7
1
2
On one-sided versus two-sided classification.
- Published in:
- Archive for Mathematical Logic, 2001, v. 40, n. 7, p. 489, doi. 10.1007/s001530100083
- By:
- Publication type:
- Article
3
Axiomatization of abelian-by-G groups for a finite group G.
- Published in:
- Archive for Mathematical Logic, 2001, v. 40, n. 7, p. 515, doi. 10.1007/s001530100084
- By:
- Publication type:
- Article
4
On the definability of verbal subgroups.
- Published in:
- Archive for Mathematical Logic, 2001, v. 40, n. 7, p. 525, doi. 10.1007/s001530100086
- By:
- Publication type:
- Article
5
Some remarks on a question of D. H. Fremlin regarding ε-density.
- Published in:
- Archive for Mathematical Logic, 2001, v. 40, n. 7, p. 531, doi. 10.1007/s001530100090
- By:
- Publication type:
- Article
6
Natural deduction with general elimination rules.
- Published in:
- Archive for Mathematical Logic, 2001, v. 40, n. 7, p. 541, doi. 10.1007/s001530100091
- By:
- Publication type:
- Article
7
The class of groups which have a subgroup of index 2 is not elementary.
- Published in:
- Archive for Mathematical Logic, 2001, v. 40, n. 7, p. 523, doi. 10.1007/s001530100085
- By:
- Publication type:
- Article