Institut de Mathématiques de Luminy

BIBLIOGRAPHIE - Pierre HYVERNAT

Année
Publications
Files &
Ref.IML
2006
Hancock Peter, Hyvernat Pierre.
Programming interfaces and basic topology.
Ann. Pure Appl. Logic 137, no. 1-3, 189--239, 2006.
2004 Hyvernat Pierre.
Predicate transformers and linear logic: yet another denotational model.
Computer science logic, 115--129, Lecture Notes in Comput. Sci., 3210, Springer, Berlin, 2004.
 

Thèse
(Thesis)
 
2005 Une investigation logique des systèmes d'interaction [A logical investigation of interaction systems].
Thèse de Doctorat, Université Aix-Marseille II, Marseille, déc. 2005.

1,27 M



Last update : march 2nd, 2006, EL.