Search the dblp DataBase

Publications of Author

1. Pierluigi Minari
   Analytic combinatory calculi and the elimination of transitivity. [Citation Graph (0, 0)][DBLP]
   Arch. Math. Log., 2004, v:43, n:2, pp:159-192 [Journal]
   
2. Andrea Cantini, Pierluigi Minari
   Uniform Inseparability in Explicit Mathematics. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1999, v:64, n:1, pp:313-326 [Journal]
   
3. Pierluigi Minari, Mitio Takano, Hiroakira Ono
   Intermediate Predicate Logics Determined by Ordinals. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1990, v:55, n:3, pp:1099-1124 [Journal]
   
4. Pierluigi Minari
   Theories of Types and Names with Positive Stratified Comprehension. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 1999, v:62, n:2, pp:215-242 [Journal]
   
5. Pierluigi Minari
   Analytic proof systems for lambda-calculus: the elimination of transitivity, and why it matters. [Citation Graph (0, 0)][DBLP]
   Arch. Math. Log., 2007, v:46, n:5-6, pp:385-424 [Journal]
   
6. 
   A solution to Curry and Hindley's problem on combinatory strong reduction. [Citation Graph (, )][DBLP]