such grammars 0.001426988
same grammars 0.001374628
lambek grammars 0.001344586
natural language 0.0013052340000000002
type grammars 0.001229496
free grammars 0.001199458
language process 0.0011859610000000001
language description 0.001184596
language inclusion 0.001161511
such results 0.001141264
term language 0.001126671
lambek derivation 0.001077
categorial grammars 0.0010477009999999998
pregroup grammars 0.001046036
finite set 0.0010458949999999998
proof tree 0.001033061
rigid grammars 0.001018113
same position 9.87101E-4
egorial grammars 9.85606E-4
bek grammars 9.85367E-4
rial grammars 9.837189999999999E-4
group translation 9.74692E-4
tree structures 9.73797E-4
pregroup translation 9.72511E-4
other type 9.6329E-4
lambek systems 9.33211E-4
following property 9.168490000000001E-4
type order 9.076069999999999E-4
language 8.89248E-4
lambek gram 8.869150000000001E-4
following properties 8.784980000000001E-4
complexity results 8.7416E-4
lambek calculus 8.69688E-4
following question 8.49723E-4
primitive type 8.42694E-4
following result 8.39904E-4
associative lambek 8.35886E-4
remarks lambek 8.301059999999999E-4
other systems 8.21075E-4
finite sets 8.069749999999999E-4
finite relation 8.00741E-4
main type 7.98503E-4
type assignment 7.92808E-4
group models 7.91893E-4
main results 7.819389999999999E-4
unlearnability results 7.807269999999999E-4
following corollaries 7.76189E-4
restricted type 7.7158E-4
categorial grammar 7.62614E-4
point construction 7.59686E-4
problem 7.57135E-4
grammars 7.49328E-4
free group 7.49019E-4
results definitions 7.47224E-4
free pregroup 7.46838E-4
restricted system 7.43388E-4
useful models 7.40044E-4
rigid grammar 7.33026E-4
method overview 7.32728E-4
possible deductions 7.270040000000001E-4
derivable sequent 7.26789E-4
several variants 7.22338E-4
type ord 7.20225E-4
cut rule 7.197530000000001E-4
point iff 7.19383E-4
primitive types 7.19318E-4
limit point 7.18834E-4
sequent presentation 7.18585E-4
learnability results 7.16389E-4
type images 7.16196E-4
empty sequence 7.13406E-4
right adjoints 7.10291E-4
full proof 7.101410000000001E-4
learning algo 7.06665E-4
first ones 6.93607E-4
free groups 6.90927E-4
similar discussion 6.89041E-4
free pregroups 6.848869999999999E-4
partial order 6.834300000000001E-4
translation 6.75803E-4
interest point 6.68691E-4
order ord 6.674960000000001E-4
property states 6.65179E-4
learning cat 6.623029999999999E-4
algorithm 6.61974E-4
infinite sequence 6.59588E-4
main properties 6.56596E-4
future learning 6.52355E-4
basic variant 6.513409999999999E-4
neutral element 6.48341E-4
learning algorith 6.47447E-4
cut elimination 6.45681E-4
this construction 6.38741E-4
logic types 6.2457E-4
main result 6.18002E-4
specific construction 6.17612E-4
actual way 6.16742E-4
limit points 6.161630000000001E-4
complex types 6.15475E-4
solute value 6.15434E-4
