The following pages link to Pierre Bourreau (Q302174):
Displaying 5 items.
- On the effect of the IO-substitution on the Parikh image of semilinear full AFLs (Q302175) (← links)
- Game Semantics and Uniqueness of Type Inhabitance in the Simply-Typed λ-Calculus (Q3007657) (← links)
- A Datalog Recognizer for Almost Affine λ-CFGs (Q3172825) (← links)
- Building PMCFG Parsers as Datalog Program Transformations (Q4981264) (← links)
- On IO-Copying and Mildly-Context Sensitive Formalisms (Q5327373) (← links)