Biblio HYVERNAT Pierre

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.

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