%0 Journal Article %1 minari2007analytic %A Minari, Pierluigi %D 2007 %I Springer-Verlag %J Archive for Mathematical Logic %K calculus lambda proof theory %N 5-6 %P 385-424 %R 10.1007/s00153-007-0039-1 %T Analytic proof systems for λ-calculus: the elimination of transitivity, and why it matters %U http://dx.doi.org/10.1007/s00153-007-0039-1 %V 46

@article{minari2007analytic, added-at = {2014-11-23T03:06:37.000+0100}, author = {Minari, Pierluigi}, biburl = {https://www.bibsonomy.org/bibtex/269362879a1aa7a4b5fb9a93e23a2fa76/t.uemura}, doi = {10.1007/s00153-007-0039-1}, interhash = {76cba5ed67b332221fb216ae4df9b493}, intrahash = {69362879a1aa7a4b5fb9a93e23a2fa76}, issn = {0933-5846}, journal = {Archive for Mathematical Logic}, keywords = {calculus lambda proof theory}, language = {English}, number = {5-6}, pages = {385-424}, publisher = {Springer-Verlag}, timestamp = {2014-11-23T03:06:37.000+0100}, title = {Analytic proof systems for λ-calculus: the elimination of transitivity, and why it matters}, url = {http://dx.doi.org/10.1007/s00153-007-0039-1}, volume = 46, year = 2007 }