Pierre Hyvernat

MaRDI QIDQ2017047zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
The size-change principle for mixed inductive and coinductive types Logical Methods in Computer Science	2025-09-25	Paper
Totality for mixed inductive and coinductive types Logical Methods in Computer Science	2025-09-25	Paper
Representing continuous functions between greatest fixed points of indexed containers (available as arXiv preprint)	2021-10-08	Paper
Representing continuous functions between greatest fixed points of indexed containers	2021-10-08	Paper
The mathematical proofs. Complete course with 127 solved exercises. With a preface by Gilles Dowek	2018-10-05	Paper
A linear category of polynomial diagrams Mathematical Structures in Computer Science	2016-07-26	Paper
Some properties of inclusions of multisets and contractive Boolean operators Discrete Mathematics	2014-06-25	Paper
A Linear Category of Polynomial Functors (extensional part) Logical Methods in Computer Science	2014-05-22	Paper
From coherent to finiteness spaces Logical Methods in Computer Science	2012-04-02	Paper
Computer Science Logic Lecture Notes in Computer Science	2005-08-22	Paper

Research outcomes over time

This page was built for person: Pierre Hyvernat