Pierre Hyvernat

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 4

Top Venues

CoRR

Log. Methods Comput. Sci.

Discret. Math.

University of the Mediterranean, Marseille, France (PHD)

Education History

University of the Mediterranean, Marseille, France

PHD

Publications

Pierre Hyvernat
The Size-Change Principle for Mixed Inductive and Coinductive types. CoRR (2024)
Pierre Hyvernat
Representing Continuous Functions between Greatest Fixed Points of Indexed Containers. Log. Methods Comput. Sci. 17 (3) (2021)
Pierre Hyvernat
The Size-Change Principle for Mixed Inductive and Coinductive types. CoRR (2019)
Pierre Hyvernat
Infinite Types, Infinite Data, Infinite Interaction. CoRR (2019)
Pierre Hyvernat
The Size-Change Termination Principle for Constructor Based Languages. Log. Methods Comput. Sci. 10 (1) (2014)
Pierre Hyvernat
Some properties of inclusions of multisets and contractive boolean operators. Discret. Math. 329 (2014)
Pierre Hyvernat
A Linear Category of Polynomial Functors (extensional part). Log. Methods Comput. Sci. 10 (2) (2014)
Pierre Hyvernat
A linear category of polynomial diagrams. Math. Struct. Comput. Sci. 24 (1) (2013)
Pierre Hyvernat
A Linear Category of Polynomial Diagrams CoRR (2012)
Pierre Hyvernat
Finiteness spaces, graphs and "coherence" Log. Methods Comput. Sci. 7 (3) (2011)
Pierre Hyvernat
Predicate Transformers, (co)Monads and Resolutions CoRR (2009)
Pierre Hyvernat
A Completeness Theorem for "Total Boolean Functions" CoRR (2009)
Pierre Hyvernat
Predicate Transformers and Linear Logic, yet another denotational model CoRR (2009)
Peter Hancock, Pierre Hyvernat
Programming interfaces and basic topology CoRR (2009)
Pierre Hyvernat
Synchronous Games, Simulations and lambda-calculus CoRR (2009)
Pierre Hyvernat
Interaction Systems and Linear Logic, a different games semantics CoRR (2009)
Peter Hancock, Pierre Hyvernat
Programming interfaces and basic topology. Ann. Pure Appl. Log. 137 (1-3) (2006)
Pierre Hyvernat
Synchronous games, simulations and lambda-calculus. GALOP@ETAPS (2005)
Pierre Hyvernat
Predicate Transformers and Linear Logic: Yet Another Denotational Model. CSL (2004)

Pierre Hyvernat.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Pierre Hyvernat