Pierre Hyvernat

According to our database, Pierre Hyvernat authored at least 15 papers between 2004 and 2021.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

2021

Representing Continuous Functions between Greatest Fixed Points of Indexed Containers.

Pierre Hyvernat

Log. Methods Comput. Sci., 2021

2019

Infinite Types, Infinite Data, Infinite Interaction.

Pierre Hyvernat

CoRR, 2019

The Size-Change Principle for Mixed Inductive and Coinductive types.

Pierre Hyvernat

CoRR, 2019

2014

Some properties of inclusions of multisets and contractive boolean operators.

Pierre Hyvernat

Discret. Math., 2014

A Linear Category of Polynomial Functors (extensional part).

Pierre Hyvernat

Log. Methods Comput. Sci., 2014

The Size-Change Termination Principle for Constructor Based Languages.

Pierre Hyvernat

Log. Methods Comput. Sci., 2014

2013

A linear category of polynomial diagrams.

Pierre Hyvernat

Math. Struct. Comput. Sci., 2013

2011

Finiteness spaces, graphs and "coherence"

Pierre Hyvernat

Log. Methods Comput. Sci., 2011

2009

Predicate Transformers, (co)Monads and Resolutions

Pierre Hyvernat

CoRR, 2009

Interaction Systems and Linear Logic, a different games semantics

Pierre Hyvernat

CoRR, 2009

A Completeness Theorem for "Total Boolean Functions"

Pierre Hyvernat

CoRR, 2009

2006

Programming interfaces and basic topology.

Peter Hancock, Pierre Hyvernat

Ann. Pure Appl. Log., 2006

2005

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

Pierre Hyvernat

PhD thesis, 2005

Synchronous games, simulations and lambda-calculus.

Pierre Hyvernat

Proceedings of the 1st Workshop on Games for Logic and Programming Languages, 2005

2004

Predicate Transformers and Linear Logic: Yet Another Denotational Model.

Pierre Hyvernat

Proceedings of the Computer Science Logic, 18th International Workshop, 2004