.:. Browse > List by year > 2003 .:.

28 documents ordered by : Date Title first author name document type Submit date

1 - 2

A model category for the homotopy theory of concurrency Gaucher P. Homology, Homotopy and Applications(HHA) 5, 1 (2003) 549-599 [hal-00150924 - version 1]

PRATIQUE DES LANGAGES FONCTIONNELS TYPES Chailloux E. Université Pierre et Marie Curie - Paris VI (19/12/2003), COUSINEAU GUY (Pr.) [tel-00009013 - version 1]

Dependent choice, 'quote' and the clock Krivine J.-L. Theoretical Computer Science 308, 1-3 (2003) 259-276 [hal-00154478 - version 1]

Call-by-value, call-by-name, and strong normalization for the classical sequent calculus Lengrand S. Dans Post-proceedings of the 3rd Workshop on Reduction Strategies in Rewriting and Programming (WRS'03) - (2003) [hal-00150290 - version 1]

Mac Lane's coherence theorem expressed as a word problem Melliès P.-A. [hal-00154213 - version 1] (2007-06-19)

Categorical models of linear logic revisited Melliès P.-A. [hal-00154229 - version 1] (13/06/2007)

A portable implementation for Objective Caml flight Chailloux E., Foisy C. Parallel Processing Letters 13, 3 (2003) 425-436 [hal-00153378 - version 1]

A Calculus for Dense Array Distributions Di Cosmo R., Pelagatti S. Parallel Processing Letters 13, 3 (2003) 377-388 [hal-00149567 - version 1]

Conception et implémentation d'un système d'aide à la spécification et à la preuve de programmes ML Baro S. Université Paris-Diderot - Paris VII (10/07/2003), Manoury Pascal (Dir.) [tel-00008416 - version 1]

Relative Definability and Models of Unary PCF Bucciarelli A., Leperchey B., Padovani V. Dans Typed Lambda Calculi and Applications, 6th International Conference, (TLCA) 2003, Valencia, Spain, June 10-12, 2003, Proceedings - (2003) [hal-00102785 - version 1]

A portable Implementation for Objective Caml Flight Chailloux E., Foisy C. Second Workshop on High-Level Parallel Programming and Applications, France (2003) [hal-00154884 - version 1]

Resolutions by Polygraphs Métayer F. Theory and Applications of Categories 11, 7 (2003) 148-184 [hal-00148349 - version 1]

Realizability with constants Beffara E. [hal-00003724 - version 1] (30/12/2004)

Some geometric perspectives on concurrency theory Goubault E. Homology, Homotopy and Applications(HHA) 5, 2 (2003) 95-136 [hal-00150866 - version 1]

L'experience SCOL, un langage pour des applications internet multi-utilisateur Bosser A.-G., Alberti F. Dans Journees Francophones des Langages Applicatifs 2003, actes - Journees Francophones des Langages Applicatifs, France (2003) [hal-00150874 - version 1]