| 2007 |
|---|
| 5 | EE | Pierluigi Minari:
Analytic proof systems for lambda-calculus: the elimination of transitivity, and why it matters.
Arch. Math. Log. 46(5-6): 385-424 (2007) |
| 2004 |
|---|
| 4 | EE | Pierluigi Minari:
Analytic combinatory calculi and the elimination of transitivity.
Arch. Math. Log. 43(2): 159-192 (2004) |
| 1999 |
|---|
| 3 | | Andrea Cantini,
Pierluigi Minari:
Uniform Inseparability in Explicit Mathematics.
J. Symb. Log. 64(1): 313-326 (1999) |
| 2 | | Pierluigi Minari:
Theories of Types and Names with Positive Stratified Comprehension.
Studia Logica 62(2): 215-242 (1999) |
| 1990 |
|---|
| 1 | | Pierluigi Minari,
Mitio Takano,
Hiroakira Ono:
Intermediate Predicate Logics Determined by Ordinals.
J. Symb. Log. 55(3): 1099-1124 (1990) |
