Pierre Bourreau

Available identifiers

zbMath Open bourreau.pierreMaRDI QIDQ302174

List of research outcomes

Publication	Date of Publication	Type
On the effect of the IO-substitution on the Parikh image of semilinear full AFLs	2016-07-04	Paper
Building PMCFG Parsers as Datalog Program Transformations	2014-06-24	Paper
On IO-Copying and Mildly-Context Sensitive Formalisms	2013-08-07	Paper
A Datalog Recognizer for Almost Affine λ-CFGs	2011-10-07	Paper
Game Semantics and Uniqueness of Type Inhabitance in the Simply-Typed λ-Calculus	2011-06-17	Paper

Research outcomes over time

This page was built for person: Pierre Bourreau