302 articles – 345 Notices  [english version]
.:. Consultation > Liste par année > 2000 .:.
6 documents classés par :
fulltext access The duality of computation
Herbelin H., Curien P.-L.
Fifth ACM SIGPLAN International Conference on Functional Programming : ICFP '00, Canada (2000) [inria-00156377 - version 1]
Développement d'applications avec Objective Caml
Manoury P., Emmanuel C., Bruno P.
(2000) 400 [hal-00528476 - version 1]
Decidability of fourth-order matching
Padovani V.
Mathematical Structures in Computer Science 10, 3 (2000) 361-372 [hal-00527853 - version 1]
On Phase Semantics and Denotational Semantics in Multiplicative Additive Linear Logic
Ehrhard T., Bucciarelli A.
Annals of Pure and Applied Logic 102, 3 (2000) 247-282 [hal-00527039 - version 1]
Parallel and serial hypercoherences
Ehrhard T.
Theoretical Computer Science 247, 1-2 (2000) 39-81 [hal-00527036 - version 1]
fulltext access Building continuous webbed models for System F
Berardi S., Berline C.
Theoretical Computer Science 315 (2004) 3-34 [hal-00003750 - version 1]