Exploració per tema "Mutual recursion"
Ara es mostren els items 1-1 de 1
-
A count invariant for Lambek calculus with additives and bracket modalities
(Springer-Verlag Berlin Heidelberg, 2013)
Text en actes de congrés
Accés restringit per política de l'editorialThe count invariance of van Benthem (1991) is that for a sequent to be a theorem of the Lambek calculus, for each atom, the number of positive occurrences equals the number of negative occurrences. (The same is true ...