Paul-Andr\'e Melli\`es (Laboratoire PPS

Identifiers

No identifiers captured yet.

Papers (1)

1. Indexed linear logic and higher-order model checking cs.LO · 2015 · author #4

Mentions

No mention provenance yet.

Frequent Coauthors

• Charles Grellois (Laboratoires PPS 1 shared papers
• CNRS 1 shared papers
• LIAFA 1 shared papers
• Universit\'e Paris Diderot) 1 shared papers