We stand with Ukraine  

Pierre Hyvernat

According to our database1, Pierre Hyvernat authored at least 16 papers between 2004 and 2025.

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
The Size-Change Principle for Mixed Inductive and Coinductive types.
[BibTeX]
[DOI]
Pierre Hyvernat
Log. Methods Comput. Sci., 2025

Totality for Mixed Inductive and Coinductive Types.
[BibTeX]
[DOI]
Pierre Hyvernat
Log. Methods Comput. Sci., 2025

2021
Representing Continuous Functions between Greatest Fixed Points of Indexed Containers.
[BibTeX]
[DOI]
Pierre Hyvernat
Log. Methods Comput. Sci., 2021

2019
Infinite Types, Infinite Data, Infinite Interaction.
[BibTeX]
[DOI]
Pierre Hyvernat
CoRR, 2019

2014
Some properties of inclusions of multisets and contractive boolean operators.
[BibTeX]
[DOI]
Pierre Hyvernat
Discret. Math., 2014

A Linear Category of Polynomial Functors (extensional part).
[BibTeX]
[DOI]
Pierre Hyvernat
Log. Methods Comput. Sci., 2014

The Size-Change Termination Principle for Constructor Based Languages.
[BibTeX]
[DOI]
Pierre Hyvernat
Log. Methods Comput. Sci., 2014

2013
A linear category of polynomial diagrams.
[BibTeX]
[DOI]
Pierre Hyvernat
Math. Struct. Comput. Sci., 2013

2011
Finiteness spaces, graphs and "coherence"
[BibTeX]
[DOI]
Pierre Hyvernat
Log. Methods Comput. Sci., 2011

2009
Predicate Transformers, (co)Monads and Resolutions
[BibTeX]
[DOI]
Pierre Hyvernat
CoRR, 2009

Interaction Systems and Linear Logic, a different games semantics
[BibTeX]
[DOI]
Pierre Hyvernat
CoRR, 2009

A Completeness Theorem for "Total Boolean Functions"
[BibTeX]
[DOI]
Pierre Hyvernat
CoRR, 2009

2006
Programming interfaces and basic topology.
[BibTeX]
[DOI]
Peter Hancock
,
Pierre Hyvernat
Ann. Pure Appl. Log., 2006

2005
A Logical Investigation of Interaction Systems. (Une investigation logique des systèmes d'interaction).
[BibTeX]
[DOI]
Pierre Hyvernat
PhD thesis, 2005

Synchronous games, simulations and lambda-calculus.
[BibTeX]
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.
[BibTeX]
[DOI]
Pierre Hyvernat
Proceedings of the Computer Science Logic, 18th International Workshop, 2004


  Loading...