Programming Computable Functions (French Wikipedia)

Analysis of information sources in references of the Wikipedia article "Programming Computable Functions" in French language version.

Last modified: 14:00:48, 23 August 2025 (UTC)

Ref.Un. Ref.Website

Global rank French rank

2516cambridge.org

209^th place

366^th place

2412doi.org

2^nd place

3^rd place

188issn.org

33^rd place

4^th place

81irif.fr

low place

31ed.ac.uk

1,867^th place

2,157^th place

31sciencedirect.com

137^th place

99^th place

11cmu.edu

2,125^th place

2,774^th place

11springer.com

182^nd place

214^th place

cambridge.org (Global: 209^th place; French: 366^th place)

Amadio et Curien 1998, p. 149 (en) Roberto M. Amadio et Pierre-Louis Curien, Domains and Lambda-Calculi, Cambridge University Press, coll. « Cambridge Tracts in Theoretical Computer Science », 1998, 534 p. (ISBN 978-0-521-62277-6, lire en ligne).
Amadio et Curien 1998, p. 145 (en) Roberto M. Amadio et Pierre-Louis Curien, Domains and Lambda-Calculi, Cambridge University Press, coll. « Cambridge Tracts in Theoretical Computer Science », 1998, 534 p. (ISBN 978-0-521-62277-6, lire en ligne).
Amadio et Curien 1998, p. 151 (en) Roberto M. Amadio et Pierre-Louis Curien, Domains and Lambda-Calculi, Cambridge University Press, coll. « Cambridge Tracts in Theoretical Computer Science », 1998, 534 p. (ISBN 978-0-521-62277-6, lire en ligne).
Amadio et Curien 1998, p. 150 (en) Roberto M. Amadio et Pierre-Louis Curien, Domains and Lambda-Calculi, Cambridge University Press, coll. « Cambridge Tracts in Theoretical Computer Science », 1998, 534 p. (ISBN 978-0-521-62277-6, lire en ligne).
Amadio et Curien 1998, p. 5 (en) Roberto M. Amadio et Pierre-Louis Curien, Domains and Lambda-Calculi, Cambridge University Press, coll. « Cambridge Tracts in Theoretical Computer Science », 1998, 534 p. (ISBN 978-0-521-62277-6, lire en ligne).
Amadio et Curien 1998, p. 14-15 (en) Roberto M. Amadio et Pierre-Louis Curien, Domains and Lambda-Calculi, Cambridge University Press, coll. « Cambridge Tracts in Theoretical Computer Science », 1998, 534 p. (ISBN 978-0-521-62277-6, lire en ligne).
Amadio et Curien 1998, p. 95 (en) Roberto M. Amadio et Pierre-Louis Curien, Domains and Lambda-Calculi, Cambridge University Press, coll. « Cambridge Tracts in Theoretical Computer Science », 1998, 534 p. (ISBN 978-0-521-62277-6, lire en ligne).
Amadio et Curien 1998, p. 146 (en) Roberto M. Amadio et Pierre-Louis Curien, Domains and Lambda-Calculi, Cambridge University Press, coll. « Cambridge Tracts in Theoretical Computer Science », 1998, 534 p. (ISBN 978-0-521-62277-6, lire en ligne).
Amadio et Curien 1998, p. 149-150 (en) Roberto M. Amadio et Pierre-Louis Curien, Domains and Lambda-Calculi, Cambridge University Press, coll. « Cambridge Tracts in Theoretical Computer Science », 1998, 534 p. (ISBN 978-0-521-62277-6, lire en ligne).
Amadio et Curien 1998, p. 104 (en) Roberto M. Amadio et Pierre-Louis Curien, Domains and Lambda-Calculi, Cambridge University Press, coll. « Cambridge Tracts in Theoretical Computer Science », 1998, 534 p. (ISBN 978-0-521-62277-6, lire en ligne).
Amadio et Curien 1998, p. 152 (en) Roberto M. Amadio et Pierre-Louis Curien, Domains and Lambda-Calculi, Cambridge University Press, coll. « Cambridge Tracts in Theoretical Computer Science », 1998, 534 p. (ISBN 978-0-521-62277-6, lire en ligne).
Amadio et Curien 1998, p. 154-155 (en) Roberto M. Amadio et Pierre-Louis Curien, Domains and Lambda-Calculi, Cambridge University Press, coll. « Cambridge Tracts in Theoretical Computer Science », 1998, 534 p. (ISBN 978-0-521-62277-6, lire en ligne).
Amadio et Curien 1998, p. 154 (en) Roberto M. Amadio et Pierre-Louis Curien, Domains and Lambda-Calculi, Cambridge University Press, coll. « Cambridge Tracts in Theoretical Computer Science », 1998, 534 p. (ISBN 978-0-521-62277-6, lire en ligne).
Amadio et Curien 1998, p. 155-156 (en) Roberto M. Amadio et Pierre-Louis Curien, Domains and Lambda-Calculi, Cambridge University Press, coll. « Cambridge Tracts in Theoretical Computer Science », 1998, 534 p. (ISBN 978-0-521-62277-6, lire en ligne).
Amadio et Curien 1998, p. 305-310 (en) Roberto M. Amadio et Pierre-Louis Curien, Domains and Lambda-Calculi, Cambridge University Press, coll. « Cambridge Tracts in Theoretical Computer Science », 1998, 534 p. (ISBN 978-0-521-62277-6, lire en ligne).
Amadio et Curien 1998, p. 386-396 (en) Roberto M. Amadio et Pierre-Louis Curien, Domains and Lambda-Calculi, Cambridge University Press, coll. « Cambridge Tracts in Theoretical Computer Science », 1998, 534 p. (ISBN 978-0-521-62277-6, lire en ligne).

cmu.edu (Global: 2,125^th place; French: 2,774^th place)

cs.cmu.edu

(en) Dana S. Scott, « A type-theoretical alternative to ISWIM, CUCH, OWHY », Theoretical Computer Science, vol. 121, n^o 1,‎ 6 décembre 1993, p. 411–440 (ISSN 0304-3975, DOI 10.1016/0304-3975(93)90095-B , lire en ligne [PDF], consulté le 17 novembre 2024) — distribué à l'origine comme des notes non publiées d'un séminaire donné à Oxford en 1969 sous le nom A theory of computable functions of higher type.

doi.org (Global: 2^nd place; French: 3^rd place)

dx.doi.org

(en) Gordon Plotkin, « LCF considered as a programming language », Theoretical Computer Science, vol. 5, n^o 3,‎ 1977, p. 223–255 (DOI 10.1016/0304-3975(77)90044-5 , lire en ligne [PDF])
(en) Dana S. Scott, « A type-theoretical alternative to ISWIM, CUCH, OWHY », Theoretical Computer Science, vol. 121, n^o 1,‎ 6 décembre 1993, p. 411–440 (ISSN 0304-3975, DOI 10.1016/0304-3975(93)90095-B , lire en ligne [PDF], consulté le 17 novembre 2024) — distribué à l'origine comme des notes non publiées d'un séminaire donné à Oxford en 1969 sous le nom A theory of computable functions of higher type.
Robin Milner, « Fully abstract models of typed λ-calculi », Theoretical Computer Science, vol. 4, n^o 1,‎ 1^er février 1977, p. 1–22 (ISSN 0304-3975, DOI 10.1016/0304-3975(77)90053-6, lire en ligne, consulté le 1^er mai 2025)
(en) Pierre-Louis Curien, « Definability and Full Abstraction », Electronic Notes in Theoretical Computer Science, computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin, vol. 172,‎ 1^er avril 2007, p. 301–310 (ISSN 1571-0661, DOI 10.1016/j.entcs.2007.02.011 , lire en ligne [PDF], consulté le 25 avril 2025)
(en) Martin Hyland et Luke Ong, « On Full Abstraction for PCF: I, II, and III », Information and Computation, vol. 163, n^o 2,‎ 15 décembre 2000, p. 285–408 (ISSN 0890-5401, DOI 10.1006/inco.2000.2917)
(en) Gérard Berry, « Stable models of typed λ-calculi », Automata, Languages and Programming, Springer,‎ 1978, p. 72–89 (ISBN 978-3-540-35807-7, DOI 10.1007/3-540-08860-1_7 )
(en) Gérard Berry et P. L. Curien, « Sequential algorithms on concrete data structures », Theoretical Computer Science, vol. 20, n^o 3,‎ 1^er juillet 1982, p. 265–321 (ISSN 0304-3975, DOI 10.1016/S0304-3975(82)80002-9 )
(en) A. Bucciarelli et T. Ehrhard, « Sequentiality and strong stability », [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science,‎ juillet 1991, p. 138–145 (DOI 10.1109/LICS.1991.151638 )
(en) Antonio Bucciarelli et Thomas Ehrhard, « A theory of sequentiality », Theoretical Computer Science, vol. 113, n^o 2,‎ 7 juin 1993, p. 273–291 (ISSN 0304-3975, DOI 10.1016/0304-3975(93)90005-E )
(en) Samson Abramsky, Radha Jagadeesan et Pasquale Malacaria, « Full Abstraction for PCF », Information and Computation, vol. 163, n^o 2,‎ 15 décembre 2000, p. 409–470 (ISSN 0890-5401, DOI 10.1006/inco.2000.2930 )
(en) Ralph Loader, « Finitary PCF is not decidable », Theoretical Computer Science, vol. 266, n^o 1,‎ 6 septembre 2001, p. 341–364 (ISSN 0304-3975, DOI 10.1016/S0304-3975(00)00194-8 )
(en) Achim Jung et Allen Stoughton, « Studying the fully abstract model of PCF within its continuous function model », Typed Lambda Calculi and Applications, Springer,‎ 1993, p. 230–244 (ISBN 978-3-540-47586-6, DOI 10.1007/BFb0037109, lire en ligne, consulté le 9 mai 2025)

ed.ac.uk (Global: 1,867^th place; French: 2,157^th place)

homepages.inf.ed.ac.uk

(en) Gordon Plotkin, « LCF considered as a programming language », Theoretical Computer Science, vol. 5, n^o 3,‎ 1977, p. 223–255 (DOI 10.1016/0304-3975(77)90044-5 , lire en ligne [PDF])

irif.fr (Global: low place; French: low place)

(en) Pierre-Louis Curien, « Definability and Full Abstraction », Electronic Notes in Theoretical Computer Science, computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin, vol. 172,‎ 1^er avril 2007, p. 301–310 (ISSN 1571-0661, DOI 10.1016/j.entcs.2007.02.011 , lire en ligne [PDF], consulté le 25 avril 2025)

issn.org (Global: 33^rd place; French: 4^th place)

portal.issn.org

(en) Dana S. Scott, « A type-theoretical alternative to ISWIM, CUCH, OWHY », Theoretical Computer Science, vol. 121, n^o 1,‎ 6 décembre 1993, p. 411–440 (ISSN 0304-3975, DOI 10.1016/0304-3975(93)90095-B , lire en ligne [PDF], consulté le 17 novembre 2024) — distribué à l'origine comme des notes non publiées d'un séminaire donné à Oxford en 1969 sous le nom A theory of computable functions of higher type.
Robin Milner, « Fully abstract models of typed λ-calculi », Theoretical Computer Science, vol. 4, n^o 1,‎ 1^er février 1977, p. 1–22 (ISSN 0304-3975, DOI 10.1016/0304-3975(77)90053-6, lire en ligne, consulté le 1^er mai 2025)
(en) Pierre-Louis Curien, « Definability and Full Abstraction », Electronic Notes in Theoretical Computer Science, computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin, vol. 172,‎ 1^er avril 2007, p. 301–310 (ISSN 1571-0661, DOI 10.1016/j.entcs.2007.02.011 , lire en ligne [PDF], consulté le 25 avril 2025)
(en) Martin Hyland et Luke Ong, « On Full Abstraction for PCF: I, II, and III », Information and Computation, vol. 163, n^o 2,‎ 15 décembre 2000, p. 285–408 (ISSN 0890-5401, DOI 10.1006/inco.2000.2917)
(en) Gérard Berry et P. L. Curien, « Sequential algorithms on concrete data structures », Theoretical Computer Science, vol. 20, n^o 3,‎ 1^er juillet 1982, p. 265–321 (ISSN 0304-3975, DOI 10.1016/S0304-3975(82)80002-9 )
(en) Antonio Bucciarelli et Thomas Ehrhard, « A theory of sequentiality », Theoretical Computer Science, vol. 113, n^o 2,‎ 7 juin 1993, p. 273–291 (ISSN 0304-3975, DOI 10.1016/0304-3975(93)90005-E )
(en) Samson Abramsky, Radha Jagadeesan et Pasquale Malacaria, « Full Abstraction for PCF », Information and Computation, vol. 163, n^o 2,‎ 15 décembre 2000, p. 409–470 (ISSN 0890-5401, DOI 10.1006/inco.2000.2930 )
(en) Ralph Loader, « Finitary PCF is not decidable », Theoretical Computer Science, vol. 266, n^o 1,‎ 6 septembre 2001, p. 341–364 (ISSN 0304-3975, DOI 10.1016/S0304-3975(00)00194-8 )

sciencedirect.com (Global: 137^th place; French: 99^th place)

Robin Milner, « Fully abstract models of typed λ-calculi », Theoretical Computer Science, vol. 4, n^o 1,‎ 1^er février 1977, p. 1–22 (ISSN 0304-3975, DOI 10.1016/0304-3975(77)90053-6, lire en ligne, consulté le 1^er mai 2025)

springer.com (Global: 182^nd place; French: 214^th place)

link.springer.com

(en) Achim Jung et Allen Stoughton, « Studying the fully abstract model of PCF within its continuous function model », Typed Lambda Calculi and Applications, Springer,‎ 1993, p. 230–244 (ISBN 978-3-540-47586-6, DOI 10.1007/BFb0037109, lire en ligne, consulté le 9 mai 2025)

Programming Computable Functions (French Wikipedia)

cambridge.org (Global: 209th place; French: 366th place)

cmu.edu (Global: 2,125th place; French: 2,774th place)