Predicate Transformers and Linear Logic: Yet Another Denotational Model. - Pierre Hyvernat (CSL, 2004)

Synchronous games, simulations and lambda-calculus. - Pierre Hyvernat (GALOP@ETAPS, 2005)

A Logical Investigation of Interaction Systems. (Une investigation logique des systèmes d'interaction). - Pierre Hyvernat (2005)

Programming interfaces and basic topology. - Peter Hancock; Pierre Hyvernat (Ann. Pure Appl. Log., 2006)

A Completeness Theorem for "Total Boolean Functions" - Pierre Hyvernat (CoRR, 2009)

Interaction Systems and Linear Logic, a different games semantics - Pierre Hyvernat (CoRR, 2009)

Predicate Transformers, (co)Monads and Resolutions - Pierre Hyvernat (CoRR, 2009)

Finiteness spaces, graphs and "coherence" - Pierre Hyvernat (Log. Methods Comput. Sci., 2011)

A linear category of polynomial diagrams. - Pierre Hyvernat (Math. Struct. Comput. Sci., 2013)

The Size-Change Termination Principle for Constructor Based Languages. - Pierre Hyvernat (Log. Methods Comput. Sci., 2014)

A Linear Category of Polynomial Functors (extensional part). - Pierre Hyvernat (Log. Methods Comput. Sci., 2014)

Some properties of inclusions of multisets and contractive boolean operators. - Pierre Hyvernat (Discret. Math., 2014)

The Size-Change Principle for Mixed Inductive and Coinductive types. - Pierre Hyvernat (CoRR, 2019)

Infinite Types, Infinite Data, Infinite Interaction. - Pierre Hyvernat (CoRR, 2019)

Representing Continuous Functions between Greatest Fixed Points of Indexed Containers. - Pierre Hyvernat (Log. Methods Comput. Sci., 2021)