Accueil
Dépôt
S'authentifier
S'inscrire
Consultation
Par domaine
Les 30 derniers dépôts
Par année de publication, rédaction, dépôt
Par type de publication
Par collection
Les portails de l'archive ouverte HAL
Par établissement (extraction automatique)
ArXiv
Les Thèses (TEL)
Recherche
Recherche simple
Recherche avancée
Accès par identifiant
Les Thèses (TEL)
Services
S'abonner
Exporter une liste de publication
Exporter une liste de publication en regroupant les données de HAL et publiCNRS
Consulter les laboratoires connus de HAL
Créer une page Web
Manuel et informations
Tutoriels
Documentation utilisateur
Documentation technique
(webServices, import XML)
À propos
version française
english version
Nombre de documents trouvés : 16 documents
1
-
2
Encapsulation and Dynamic Modularity in the Pi-Calculus
Hirschkoff D., Pardon A., Hirschowitz T., Hym S., Pous D.
Dans
Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2008)
-
PLACES 2008
, Norvège (2008) [hal-00400159 − version 1]
Variable binding, symmetric monoidal closed theories, and bigraphs
Garner R., Hirschowitz T., Pardon A.
Dans
CONCUR 2009 - Concurrency Theory
-
CONCUR 2009
, Italie (2009) [hal-00388100 − version 1]
Contraction-free proofs and finitary games for Linear Logic
Hirschowitz A., Hirschowitz M., Hirschowitz T.
Dans
Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics (MFPS 2009)
-
MFPS 2009
, Royaume-Uni (2009) [hal-00387452 − version 1]
Compilation of extended recursion in call-by-value functional languages
Hirschowitz T., Leroy X., Wells J.B.
Higher-Order and Symbolic Computation
22
, 1 (2009) 3-66 [hal-00359213 - version 1]
Binding bigraphs as symmetric monoidal closed theories
Hirschowitz T., Pardon A.
[hal-00333753 − version 2] (08/06/2009)
Graphical Presentations of Symmetric Monoidal Closed Theories
Garner R., Hirschowitz T., Pardon A.
[hal-00333750 − version 2] (08/06/2009)
Topological Observations on Multiplicative Additive Linear Logic
Hirschowitz A., Hirschowitz M., Hirschowitz T.
[hal-00295949 − version 1] (11/07/2008)
A theory for game theories
Hirschowitz M., Hirschowitz A., Hirschowitz T.
Dans
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science
-
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science
, Inde (2007) [hal-00310542 − version 1]
Mixin modules in a call-by-value setting
Hirschowitz T., Leroy X.
ACM Transactions on Programming Languages and Systems
27
, 5 (2005) 857 - 881 [hal-00310317 − version 1]
Component-Oriented Programming with Sharing: Containment is not Ownership
Hirschkoff D., Hirschowitz T., Pous D., Schmitt A., Stefani J.-B.
Dans
Generative Programming and Component Engineering
-
Generative Programming and Component Engineering (GPCE)
, Estonie (2005) [hal-00310126 − version 1]
1
-
2
L'URL de cette page est :
http://hal.archives-ouvertes.fr/aut/Tom Hirschowitz/
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...