; TeX output 1999.06.07:1122 LfT rhtml: html:L rDt G G cmr17LamqbsekCalculus:RecognizingPowerandComplexitylύ 0XQ cmr12MakrotoKanazawa(lύ l/"V
cmbx10Abstractٜ/sK`y
cmr10IT0surveyT1knownresultsandresultsthateasilyfollowfromknownresultsabGoutthe
rrecognizingUUpGowerandcomplexityofvqariousfragmentsoftheLambGekcalculus."A r!N ff cmbx12Contentsύ rhtml:""V
3
cmbx101lComplexitty2andrecognizingpYoweroflogics html:q-2 rhtml:2lLamtbYek2calculus html:3 rhtml:3lMultiplicativte-expYonential2Lambek2calculus html:q15 rhtml:4lMultiplicativte-additive2LambYekcalculus html: