Интуиционистская линейная логика
method
ID: intuitionisticlinearlogic
Related Papers
Towards Abstract Categorial Grammars
Categorial Grammars Philippe de Groote LORIA UMR no 7503 – INRIA Campus Scientifique, B.P. 239 54506 Vandœuvre l`es Nancy Cedex – France degroote@loria.fr Abstract We introduce a new categorial formal- …...