Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

15 résultats
Page :
triés par
Image document

A Logical Investigation of Interaction Systems

 Pierre Hyvernat
Mathematics [math]. Université de la Méditerranée - Aix-Marseille II, 2005. English. ⟨NNT : ⟩
Thèse tel-00011871v1
Image document

A Linear Category of Polynomial Functors (extensional part)

 Pierre Hyvernat
2013
Pré-publication, Document de travail hal-00955307v3
Image document

Coherent and finiteness spaces

 Pierre Hyvernat
Logical Methods in Computer Science, 2011, 7 (3), paper 15. ⟨10.2168/LMCS-7(3:15)2011⟩
Article dans une revue hal-00387650v4
Image document

Interaction Systems and Linear Logic, a different games semantics

 Pierre Hyvernat
2006
Pré-publication, Document de travail hal-00387605v1
Image document

Synchronous Games, Simulations and lambda-calculus

 Pierre Hyvernat
Games for Logic and Programming Languages, European Conferences on Theory and Practice of Software (ETAPS 2005), Apr 2005, Edinburgh, United Kingdom. pp.1--15
Communication dans un congrès hal-00387826v1
Image document

Some Properties of Inclusions of Multisets and Contractive Boolean Operators

 Pierre Hyvernat
2011
Pré-publication, Document de travail hal-00601505v6
Image document

Predicate Transformers and Linear Logic, yet another denotational model

 Pierre Hyvernat
Computer Science and Logic 2004, Sep 2004, Karpacz, Poland. pp.115--129
Communication dans un congrès hal-00387490v1

PML (Proved ML)

 Christophe Raffalli , Pierre Hyvernat
2008
Autre publication scientifique hal-00394685v1
Image document

A Linear Category of Polynomial Diagrams

 Pierre Hyvernat
Mathematical Structures in Computer Science, 2014, 24 (1), pp.e240104. ⟨10.1017/S0960129512001016⟩
Article dans une revue hal-00728259v1
Image document

Representing Continuous Functions between Greatest Fixed Points of Indexed Containers

 Pierre Hyvernat
2021
Pré-publication, Document de travail hal-02050711v3
Image document

A Completeness Theorem for "Total Boolean Functions

 Pierre Hyvernat
2008
Pré-publication, Document de travail hal-00387612v2
Image document

Programming interfaces and basic topology

 Peter Hancock , Pierre Hyvernat
Annals of Pure and Applied Logic, 2006, 137 (1--3), pp.189--239
Article dans une revue hal-00387603v1
Image document

Totality for Mixed Inductive and Coinductive Types

 Pierre Hyvernat
2023
Pré-publication, Document de travail hal-01989688v3
Image document

The Size-Change Termination Principle for Constructor Based Languages

 Pierre Hyvernat
Logical Methods in Computer Science, 2014, 10 (1), paper 11. ⟨10.2168/LMCS-10(1:11)2014⟩
Article dans une revue hal-00547440v5
Image document

Predicate Transformers, (co)Monads and Resolutions

 Pierre Hyvernat
2004
Pré-publication, Document de travail hal-00395633v1
Page :