Jean Goubault-larrecq

Higher-Order Automata, Pushdown systems, and Set Constraints

Jean Goubault-larrecq, 2001 .

Order-Theoretic, Geometric and Combinatorial Models of Intuitionistic S4 Proofs

Jean Goubault-larrecq, Inria Rocquencourt, J. R. C. van der Maarel, 1999 .

Logical Foundations of Eval/Quote Mechanisms, and the Modal Logic S4

Jean Goubault-larrecq, J. Goubault-Larrecq, 1997 .