Jeux de typage et analyse de lambda-grammaires non-contextuelles. (Game semantics and parsing context-free lambda-grammars)

Pierre Bourreau. Jeux de typage et analyse de lambda-grammaires non-contextuelles. (Game semantics and parsing context-free lambda-grammars). PhD thesis, University of Bordeaux, France, 2012. [doi]

Abstract

Abstract is missing.