Pierre Hyvernat
From MaRDI portal
Person:2017047
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 |
|---|---|---|
| scientific article; zbMATH DE number 7407785 (Why is no real title available?) (available as arXiv preprint) | 2021-10-08 | Paper |
| scientific article; zbMATH DE number 7407785 (Why is no real title available?) | 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
