Articles de revues sur le sujet « Lambda calculi »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les 50 meilleurs articles de revues pour votre recherche sur le sujet « Lambda calculi ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Parcourez les articles de revues sur diverses disciplines et organisez correctement votre bibliographie.
Zamdzhiev, Vladimir. « Computational Adequacy for Substructural Lambda Calculi ». Electronic Proceedings in Theoretical Computer Science 333 (8 février 2021) : 322–34. http://dx.doi.org/10.4204/eptcs.333.22.
Texte intégralKAMAREDDINE, FAIROUZ. « Typed $\lambda$-calculi with one binder ». Journal of Functional Programming 15, no 05 (8 juin 2005) : 771. http://dx.doi.org/10.1017/s095679680500554x.
Texte intégralBoudol, G. « Lambda-Calculi for (Strict) Parallel Functions ». Information and Computation 108, no 1 (janvier 1994) : 51–127. http://dx.doi.org/10.1006/inco.1994.1003.
Texte intégralStaples, John. « Delaying unification algorithms for lambda calculi ». Theoretical Computer Science 56, no 3 (mars 1988) : 277–88. http://dx.doi.org/10.1016/0304-3975(88)90135-1.
Texte intégralBOUDOL, GÉRARD, PIERRE-LOUIS CURIEN et CAROLINA LAVATELLI. « A semantics for lambda calculi with resources ». Mathematical Structures in Computer Science 9, no 4 (août 1999) : 437–82. http://dx.doi.org/10.1017/s0960129599002893.
Texte intégralKatayama, Susumu. « Computable Variants of AIXI which are More Powerful than AIXItl ». Journal of Artificial General Intelligence 10, no 1 (1 janvier 2019) : 1–23. http://dx.doi.org/10.2478/jagi-2019-0001.
Texte intégralZORZI, MARGHERITA. « On quantum lambda calculi : a foundational perspective ». Mathematical Structures in Computer Science 26, no 7 (17 novembre 2014) : 1107–95. http://dx.doi.org/10.1017/s0960129514000425.
Texte intégralMulmuley, Ketan. « Fully abstract submodels of typed lambda calculi ». Journal of Computer and System Sciences 33, no 1 (août 1986) : 2–46. http://dx.doi.org/10.1016/0022-0000(86)90041-3.
Texte intégralNielson, Flemming, et Hanne Riis Nielson. « Prescriptive Frameworks for Multi-Level Lambda-Calculi ». ACM SIGPLAN Notices 32, no 12 (décembre 1997) : 193–202. http://dx.doi.org/10.1145/258994.259018.
Texte intégralJoy, M. « Lambda Calculi : A Guide For Computer Scientists ». Computer Journal 38, no 1 (1 janvier 1995) : 78–79. http://dx.doi.org/10.1093/comjnl/38.1.78-a.
Texte intégralValliappan, Nachiappan, Fabian Ruch et Carlos Tomé Cortiñas. « Normalization for fitch-style modal calculi ». Proceedings of the ACM on Programming Languages 6, ICFP (29 août 2022) : 772–98. http://dx.doi.org/10.1145/3547649.
Texte intégralDal Lago, Ugo, et Margherita Zorzi. « Wave-Style Token Machines and Quantum Lambda Calculi ». Electronic Proceedings in Theoretical Computer Science 176 (16 février 2015) : 64–78. http://dx.doi.org/10.4204/eptcs.176.6.
Texte intégralFernández, Maribel, et Nikolaos Siafakas. « Labelled Lambda-calculi with Explicit Copy and Erase ». Electronic Proceedings in Theoretical Computer Science 22 (30 mars 2010) : 49–64. http://dx.doi.org/10.4204/eptcs.22.5.
Texte intégralDi Cosmo, Roberto, et Delia Kesner. « Combining algebraic rewriting, extensional lambda calculi, and fixpoints ». Theoretical Computer Science 169, no 2 (décembre 1996) : 201–20. http://dx.doi.org/10.1016/s0304-3975(96)00121-1.
Texte intégralVASCONCELOS, VASCO THUDICHUM. « Lambda and pi calculi, CAM and SECD machines ». Journal of Functional Programming 15, no 1 (janvier 2005) : 101–27. http://dx.doi.org/10.1017/s0956796804005386.
Texte intégralRomero, Rafael, et Alejandro Díaz-Caro. « A Note on Confluence in Typed Probabilistic Lambda Calculi ». Electronic Proceedings in Theoretical Computer Science 357 (8 avril 2022) : 18–24. http://dx.doi.org/10.4204/eptcs.357.2.
Texte intégralValiron, Benoît. « On Quantum and Probabilistic Linear Lambda-calculi (Extended Abstract) ». Electronic Notes in Theoretical Computer Science 270, no 1 (février 2011) : 121–28. http://dx.doi.org/10.1016/j.entcs.2011.01.011.
Texte intégralLago, Ugo Dal, et Francesco Gavazzo. « On Bisimilarity in Lambda Calculi with Continuous Probabilistic Choice ». Electronic Notes in Theoretical Computer Science 347 (novembre 2019) : 121–41. http://dx.doi.org/10.1016/j.entcs.2019.09.007.
Texte intégralArbiser, A. « The Expansion Problem in Lambda Calculi with Explicit Substitution ». Journal of Logic and Computation 18, no 6 (1 octobre 2008) : 849–83. http://dx.doi.org/10.1093/logcom/exn007.
Texte intégralDal Lago, Ugo, Francesco Gavazzo et Ryo Tanaka. « Effectful applicative similarity for call-by-name lambda calculi ». Theoretical Computer Science 813 (avril 2020) : 234–47. http://dx.doi.org/10.1016/j.tcs.2019.12.025.
Texte intégralNakazawa, Koji, Makoto Tatsuta, Yukiyoshi Kameyama et Hiroshi Nakano. « Type checking and typability in domain-free lambda calculi ». Theoretical Computer Science 412, no 44 (octobre 2011) : 6193–207. http://dx.doi.org/10.1016/j.tcs.2011.06.020.
Texte intégralMouri, Motohiko, et Norihiro Kamide. « Strong Normalizability of Typed Lambda-Calculi for Substructural Logics ». Logica Universalis 2, no 2 (24 septembre 2008) : 189–207. http://dx.doi.org/10.1007/s11787-008-0036-0.
Texte intégralDybkjær, Hans, et Austin Melton. « Comparing Hagino's categorical programming language and typed lambda-calculi ». Theoretical Computer Science 111, no 1-2 (avril 1993) : 145–89. http://dx.doi.org/10.1016/0304-3975(93)90186-w.
Texte intégralAbramsky, Samson, et Marina Lenisa. « Linear realizability and full completeness for typed lambda-calculi ». Annals of Pure and Applied Logic 134, no 2-3 (juillet 2005) : 122–68. http://dx.doi.org/10.1016/j.apal.2004.08.003.
Texte intégralHermida, Claudio, et Bart Jacobs. « Fibrations with indeterminates : contextual and functional completeness for polymorphic lambda calculi ». Mathematical Structures in Computer Science 5, no 4 (décembre 1995) : 501–31. http://dx.doi.org/10.1017/s0960129500001213.
Texte intégralCAPRETTA, VENANZIO, et SILVIO VALENTINI. « A general method for proving the normalization theorem for first and second order typed λ-calculi ». Mathematical Structures in Computer Science 9, no 6 (décembre 1999) : 719–39. http://dx.doi.org/10.1017/s0960129599002923.
Texte intégralEspírito Santo, José, Ralph Matthes et Luís Pinto. « A coinductive approach to proof search through typed lambda-calculi ». Annals of Pure and Applied Logic 172, no 10 (décembre 2021) : 103026. http://dx.doi.org/10.1016/j.apal.2021.103026.
Texte intégralLeague, Christopher. « Lambda Calculi : A Guide for Computer Scientists by Chris Hankin ». ACM SIGACT News 31, no 1 (mars 2000) : 8–13. http://dx.doi.org/10.1145/346048.568490.
Texte intégralNeergaard, P. « Conservation and Uniform Normalization in Lambda Calculi with Erasing Reductions ». Information and Computation 178, no 1 (10 octobre 2002) : 149–79. http://dx.doi.org/10.1016/s0890-5401(02)93153-6.
Texte intégralDíaz-Caro, Alejandro, Pablo Arrighi, Manuel Gadella et Jonathan Grattage. « Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits ». Electronic Notes in Theoretical Computer Science 270, no 1 (février 2011) : 59–74. http://dx.doi.org/10.1016/j.entcs.2011.01.006.
Texte intégralNeergaard, Peter Møller, et Morten Heine Sørensen. « Conservation and Uniform Normalization in Lambda Calculi with Erasing Reductions ». Information and Computation 178, no 1 (octobre 2002) : 149–79. http://dx.doi.org/10.1006/inco.2002.3153.
Texte intégralGoldberg, Mayer. « A construction of one-point bases in extended lambda calculi ». Information Processing Letters 89, no 6 (mars 2004) : 281–86. http://dx.doi.org/10.1016/j.ipl.2003.12.005.
Texte intégralArrial, Victor, Giulio Guerrieri et Delia Kesner. « Quantitative Inhabitation for Different Lambda Calculi in a Unifying Framework ». Proceedings of the ACM on Programming Languages 7, POPL (9 janvier 2023) : 1483–513. http://dx.doi.org/10.1145/3571244.
Texte intégralFAGORZI, SONIA, et ELENA ZUCCA. « A calculus of open modules : call-by-need strategy and confluence ». Mathematical Structures in Computer Science 17, no 4 (août 2007) : 675–751. http://dx.doi.org/10.1017/s0960129507006238.
Texte intégralBroda, Sabine, et Luís Damas. « Compact bracket abstraction in combinatory logic ». Journal of Symbolic Logic 62, no 3 (septembre 1997) : 729–40. http://dx.doi.org/10.2307/2275570.
Texte intégralBruce, Kim B., Roberto Di Cosmo et Giuseppe Longo. « Provable isomorphisms of types ». Mathematical Structures in Computer Science 2, no 2 (juin 1992) : 231–47. http://dx.doi.org/10.1017/s0960129500001444.
Texte intégralAhn, Ki Yung. « Mechanized Proof of Type Preservation for Polymorphic Lambda Calculi Using Abella ». Journal of KIISE 47, no 5 (31 mai 2020) : 496–503. http://dx.doi.org/10.5626/jok.2020.47.5.496.
Texte intégralMatthes, Ralph. « Tarski's Fixed-Point Theorem And Lambda Calculi With Monotone Inductive Types ». Synthese 133, no 1/2 (octobre 2002) : 107–29. http://dx.doi.org/10.1023/a:1020831825964.
Texte intégralHenglein, Fritz, et Harry G. Mairson. « The complexity of type inference for higher-order typed lambda calculi ». Journal of Functional Programming 4, no 4 (octobre 1994) : 435–77. http://dx.doi.org/10.1017/s0956796800001143.
Texte intégralValiron, Benoit, et Steve Zdancewic. « Modeling Simply-Typed Lambda Calculi in the Category of Finite Vector Spaces ». Scientific Annals of Computer Science 24, no 2 (2014) : 325–68. http://dx.doi.org/10.7561/sacs.2014.2.325.
Texte intégralQian, Zhenyu, et Tobias Nipkow. « Reduction and unification in lambda calculi with a general notion of subtype ». Journal of Automated Reasoning 12, no 3 (1994) : 389–406. http://dx.doi.org/10.1007/bf00885767.
Texte intégralFiore, Marcelo, Roberto Di Cosmo et Vincent Balat. « Remarks on isomorphisms in typed lambda calculi with empty and sum types ». Annals of Pure and Applied Logic 141, no 1-2 (août 2006) : 35–50. http://dx.doi.org/10.1016/j.apal.2005.09.001.
Texte intégralEhrhard, Thomas, Yves Lafont et Laurent Regnier. « Foreword ». Mathematical Structures in Computer Science 8, no 6 (décembre 1998) : 541. http://dx.doi.org/10.1017/s0960129598002618.
Texte intégralMartini, Simone. « Categorical models for non-extensional λ-calculi and combinatory logic ». Mathematical Structures in Computer Science 2, no 3 (septembre 1992) : 327–57. http://dx.doi.org/10.1017/s096012950000150x.
Texte intégralECHAHED, RACHID. « Foreword : special issue on term and graph rewriting ». Mathematical Structures in Computer Science 28, no 8 (6 juillet 2018) : 1287–89. http://dx.doi.org/10.1017/s0960129518000191.
Texte intégralGOGUEN, HEALFDENE, et JEAN GOUBAULT-LARRECQ. « Sequent combinators : a Hilbert system for the lambda calculus ». Mathematical Structures in Computer Science 10, no 1 (février 2000) : 1–79. http://dx.doi.org/10.1017/s0960129599002911.
Texte intégralLEVIN, MICHAEL Y., et BENJAMIN C. PIERCE. « TinkerType : a language for playing with formal systems ». Journal of Functional Programming 13, no 2 (mars 2003) : 295–316. http://dx.doi.org/10.1017/s0956796802004550.
Texte intégralSpreen, Dieter. « On functions preserving levels of approximation : A refined model construction for various lambda calculi ». Theoretical Computer Science 212, no 1-2 (février 1999) : 261–303. http://dx.doi.org/10.1016/s0304-3975(98)00144-3.
Texte intégralMann, Matthias, et Manfred Schmidt-Schauß. « Similarity implies equivalence in a class of non-deterministic call-by-need lambda calculi ». Information and Computation 208, no 3 (mars 2010) : 276–91. http://dx.doi.org/10.1016/j.ic.2009.11.003.
Texte intégralGeuvers, Herman, et Mark-Jan Nederhof. « Modular proof of strong normalization for the calculus of constructions ». Journal of Functional Programming 1, no 2 (avril 1991) : 155–89. http://dx.doi.org/10.1017/s0956796800020037.
Texte intégral