Searching for authors named Thomas Ehrhard – sorted by Relevance.
17 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
