Searching for authors named Thomas Ehrhard – sorted by Relevance.
-
Parallel and Serial Hypercoherences
- Parallel and serial hypercoherences Thomas Ehrhard Institut de Math'ematiques de Luminy C.N.R.S. U
- Cited by 4 (0 self) – Add To MetaCart
-
A Completeness Theorem for Symmetric Product Phase Spaces
- A completeness theorem for symmetric product phase spaces Thomas Ehrhard Institut de Mathematiques
- Cited by 1 (0 self) – Add To MetaCart
-
Projecting Sequential Algorithms on Strongly Stable Functions
- Projecting sequential algorithms on strongly stable functions Thomas Ehrhard Laboratoire de Math
- Cited by 23 (2 self) – Add To MetaCart
-
Finiteness Spaces
- Finiteness spaces Thomas Ehrhard Institut de Math'ematiques de Luminy, C.N.R.S. U.P.R. 9016
- Cited by 18 (3 self) – Add To MetaCart
-
On Köthe sequence spaces and linear logic
- On Kothe sequence spaces and linear logic Thomas Ehrhard Institut de Mathematiques de Luminy C
- Cited by 16 (4 self) – Add To MetaCart
-
Hypercoherences: A Strongly Stable Model of Linear Logic
- Hypercoherences: a strongly stable model of linear logic Thomas Ehrhard Laboratoire de Math
- Cited by 49 (4 self) – Add To MetaCart
-
Anatomy of an Extensional Collapse
- Anatomy of an extensional collapse Nuno Barreiro and Thomas Ehrhard Institut de Math
- Cited by 6 (0 self) – Add To MetaCart
-
On Differential Interaction Nets and the Pi-calculus
- On Differential Interaction Nets and the Pi-Calculus Thomas Ehrhard and Olivier Laurent Preuves
- Cited by 1 (0 self) – Add To MetaCart
-
Quantitative semantics revisited (Extended Abstract)
- Quantitative semantics revisited (extended abstract) Nuno Barreiro ? and Thomas Ehrhard Institut
- Cited by 4 (2 self) – Add To MetaCart
-
Sequentiality in an Extensional Framework
- 'erieure 45 rue d'Ulm 75230 Paris C'edex France e-mail: buccia@(email omitted); Thomas Ehrhard IGM Universit'e de
- Cited by 16 (5 self) – Add To MetaCart

