4 papers
Predicate Transformers, (co)Monads and Resolutions
Pierre Hyvernat
This short note contains random thoughts about a factorization theorem for closure/interior operators on a powerset which is reminiscent to the notion of resolution for a monad/com…
Synchronous Games, Simulations and lambda-calculus
Pierre Hyvernat
We refine a model for linear logic based on two well-known ingredients: games and simulations. We have already shown that usual simulation relations form a sound notion of morphism…
Interaction Systems and Linear Logic, a different games semantics
Pierre Hyvernat
We define a model for linear logic based on two well-known ingredients: games and simulations. This model is interesting in the following respect: while it is obvious that the obje…
A Completeness Theorem for "Total Boolean Functions"
Pierre Hyvernat
Christine Tasson introduced an algebraic notion of totality for a denotational model of linear logic in the category of vector spaces. The notion of total boolean function is, in a…