Pierre Hyvernat

22 papers B 1Journal 19Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
The Size-Change Principle for Mixed Inductive and Coinductive types.
Log. Methods Comput. Sci.
Pierre Hyvernat
2025 J jnl
Totality for Mixed Inductive and Coinductive Types.
Log. Methods Comput. Sci.
Pierre Hyvernat
2024 J jnl
The Size-Change Principle for Mixed Inductive and Coinductive types.
CoRR
Pierre Hyvernat
2021 J jnl
Representing Continuous Functions between Greatest Fixed Points of Indexed Containers.
Log. Methods Comput. Sci.
Pierre Hyvernat
2019 J jnl
Infinite Types, Infinite Data, Infinite Interaction.
CoRR
Pierre Hyvernat
2019 J jnl
The Size-Change Principle for Mixed Inductive and Coinductive types.
CoRR
Pierre Hyvernat
2014 J jnl
A Linear Category of Polynomial Functors (extensional part).
Log. Methods Comput. Sci.
Pierre Hyvernat
2014 J jnl
Some properties of inclusions of multisets and contractive boolean operators.
Discret. Math.
Pierre Hyvernat
2014 J jnl
The Size-Change Termination Principle for Constructor Based Languages.
Log. Methods Comput. Sci.
Pierre Hyvernat
2013 J jnl
A linear category of polynomial diagrams.
Math. Struct. Comput. Sci.
Pierre Hyvernat
2012 J jnl
A Linear Category of Polynomial Diagrams
CoRR
Pierre Hyvernat
2011 J jnl
Finiteness spaces, graphs and "coherence"
Log. Methods Comput. Sci.
Pierre Hyvernat
2009 J jnl
A Completeness Theorem for "Total Boolean Functions"
CoRR
Pierre Hyvernat
2009 J jnl
Interaction Systems and Linear Logic, a different games semantics
CoRR
Pierre Hyvernat
2009 J jnl
Predicate Transformers and Linear Logic, yet another denotational model
CoRR
Pierre Hyvernat
2009 J jnl
Predicate Transformers, (co)Monads and Resolutions
CoRR
Pierre Hyvernat
2009 J jnl
Programming interfaces and basic topology
CoRR
Peter Hancock, Pierre Hyvernat
2009 J jnl
Synchronous Games, Simulations and lambda-calculus
CoRR
Pierre Hyvernat
2006 J jnl
Programming interfaces and basic topology.
Ann. Pure Appl. Log.
Peter Hancock, Pierre Hyvernat
2005 — —
A Logical Investigation of Interaction Systems. (Une investigation logique des systèmes d'interaction).
Pierre Hyvernat
2005 — conf
Synchronous games, simulations and lambda-calculus.
GALOP@ETAPS
Pierre Hyvernat
2004 B conf
Predicate Transformers and Linear Logic: Yet Another Denotational Model.
CSL
Pierre Hyvernat