Paper Info
Title
Sequent Calculi for the Normal Terms of the - and - Calculi
Year
DOI
Venue
1998
10.1016/S1571-0661(05)01182-5
Electr. Notes Theor. Comput. Sci.
DocType
Volume
Citations 
Journal
17
2
PageRank 
References 
Authors
0.37
0
2
Name
Order
Citations
PageRank
Luis Pinto16912.04
Roy Dyckhoff245249.09