Livres 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 livres 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 livres sur diverses disciplines et organisez correctement votre bibliographie.
Amadio, Roberto M. Domains and lambda-calculi. Cambridge, U.K : Cambridge University Press, 1998.
Trouver le texte intégralHasegawa, Masahito, dir. Typed Lambda Calculi and Applications. Berlin, Heidelberg : Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-38946-7.
Texte intégralHofmann, Martin, dir. Typed Lambda Calculi and Applications. Berlin, Heidelberg : Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/3-540-44904-3.
Texte intégralDella Rocca, Simona Ronchi, dir. Typed Lambda Calculi and Applications. Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-73228-0.
Texte intégralGroote, Philippe, et J. Roger Hindley, dir. Typed Lambda Calculi and Applications. Berlin, Heidelberg : Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/3-540-62688-3.
Texte intégralDezani-Ciancaglini, Mariangiola, et Gordon Plotkin, dir. Typed Lambda Calculi and Applications. Berlin, Heidelberg : Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/bfb0014040.
Texte intégralBezem, Marc, et Jan Friso Groote, dir. Typed Lambda Calculi and Applications. Berlin, Heidelberg : Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/bfb0037093.
Texte intégralOng, Luke, dir. Typed Lambda Calculi and Applications. Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-21691-6.
Texte intégralDowek, Gilles, dir. Rewriting and Typed Lambda Calculi. Cham : Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-08918-8.
Texte intégralAbramsky, Samson, dir. Typed Lambda Calculi and Applications. Berlin, Heidelberg : Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45413-6.
Texte intégralUrzyczyn, Paweł, dir. Typed Lambda Calculi and Applications. Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/b135690.
Texte intégralCurien, Pierre-Louis, dir. Typed Lambda Calculi and Applications. Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-02273-9.
Texte intégralGirard, Jean-Yves, dir. Typed Lambda Calculi and Applications. Berlin, Heidelberg : Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48959-2.
Texte intégralLambda calculi : A guide for the perplexed. Oxford [England] : Clarendon Press, 1994.
Trouver le texte intégralParrow, Joachim. Algebraic theories for name-passing calculi. Edinburgh : LFCS, Dept. of Computer Science, University of Edinburgh, 1993.
Trouver le texte intégralPawel, Urzyczyn, dir. Typed lambda calculi and applications : 7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings. Berlin : Springer, 2005.
Trouver le texte intégralPhilippe, De Groote, et Hindley J. Roger, dir. Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings. Berlin : Springer, 1997.
Trouver le texte intégralM, Dezani-Ciancaglini, et Plotkin G. 1946-, dir. Typed lambda calculi and applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings. Berlin : Springer-Verlag, 1995.
Trouver le texte intégral1965-, Hofmann Martin, dir. Typed lambda calculi and applications : 6th international conference, TLCA 2003, Valencia, Spain, June 10-12, 2003 : proceedings. Berlin : Springer, 2003.
Trouver le texte intégralJean-Yves, Girard, dir. Typed lambda calculi and applications : 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings. Berlin : Springer, 1999.
Trouver le texte intégral1953-, Abramsky Samson, dir. Typed lambda calculi and applications : 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings. New York : Springer, 2001.
Trouver le texte intégralS, Ronchi Della Rocca, dir. Typed lambda calculi and applications : 8th international conference, TLCA 2007, Paris, France, June 26-28, 2007 ; proceedings. Berlin : Springer, 2007.
Trouver le texte intégral1956-, Bezem M., et Groote J. F. 1965-, dir. Typed lambda calculi and applications : International Conference on Typed Lam[b]da Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, the Netherlands : proceedings. Berlin : Springer-Verlag, 1993.
Trouver le texte intégralHasegawa, Masahito. Typed Lambda Calculi and Applications : 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings. Berlin, Heidelberg : Springer Berlin Heidelberg, 2013.
Trouver le texte intégralservice), SpringerLink (Online, dir. Typed Lambda Calculi and Applications : 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings. Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011.
Trouver le texte intégralBarendregt, H. P. Lambda calculus with types. Cambridge, UK : Cambridge University Press, 2013.
Trouver le texte intégralRocca, Simona Ronchi Della, et Luca Paolini. The Parametric Lambda Calculus. Berlin, Heidelberg : Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-662-10394-4.
Texte intégralKrivine, Jean-Louis. Lambda : Calcul, types et modèles. Paris : Masson, 1990.
Trouver le texte intégralRenaud, Francis. Sémantique du temps et lambda-calcul. Paris : Presses universitaires de France, 1996.
Trouver le texte intégralRicci, Raven. An introduction to lambda calculus. Delhi : Learning Press, 2012.
Trouver le texte intégralMoggi, Eugenio. Computational lambda-calculus and monads. Edinburgh : University of Edinburgh, Laboratory for Foundations ofComputer Science, 1988.
Trouver le texte intégralP, Seldin J., dir. [Lambda]-calculus and combinators : An introduction. New York : Cambridge University Press, 2008.
Trouver le texte intégralRévész, György E. Lambda-calculus, combinators, and functional programming. Cambridge [England] : Cambridge University Press, 1988.
Trouver le texte intégralP, Seldin J., dir. Introduction to combinators and [lambda]-calculus. Cambridge [Cambridgeshire] : Cambridge University Press, 1986.
Trouver le texte intégralDraheim, Dirk. Semantics of the Probabilistic Typed Lambda Calculus. Berlin, Heidelberg : Springer Berlin Heidelberg, 2017. http://dx.doi.org/10.1007/978-3-642-55198-7.
Texte intégralHindley, J. R. Introduction to combinators and (the lambda)-calculus. Cambridge : Cambridge University Press, 1986.
Trouver le texte intégralPalsberg, Jens. Polyvariant analysis of the untyped lambda calculus. Aarhus, Denmark : Computer Science Department, Aarhus University, 1992.
Trouver le texte intégralAbstract computing machines : A lambda calculus perspective. Berlin : Springer, 2005.
Trouver le texte intégralSangiorgi, Davide. A theory of bisimulation for the (lambda)-calculus. Edinburgh : LFCS, Dept. of Computer Science, University of Edinburgh, 1993.
Trouver le texte intégralDi Pierro, Alessandra, Pasquale Malacaria et Rajagopal Nagarajan, dir. From Lambda Calculus to Cybersecurity Through Program Analysis. Cham : Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-41103-9.
Texte intégralMadry, Malgorzata. Representation of lambda-calculus terms by term-hypergraphs. Salford : University of Salford, 1992.
Trouver le texte intégralHagino, Tatsuya. A typed lambda calculus with categorical type constructors. Edinburgh : University of Edinburgh, Laboratory forFoundations of Computer Science, 1988.
Trouver le texte intégralMichaelson, Greg. An introduction to functional programming through lambda calculus. Wokingham : Addison-Wesley, 1988.
Trouver le texte intégralAn introduction to functional programming through Lambda calculus. Mineola, N.Y : Dover Publications, 2011.
Trouver le texte intégralAn introduction to functional programming through Lambda calculus. Wokingham, England : Addison-Wesley Pub. Co., 1989.
Trouver le texte intégralMeseguer, José. Relating models of polymorphism. Stanford, CA (Ventura Hall, Stanford 94305) : Center for the Study of Language and Information, 1988.
Trouver le texte intégralGabriel, Altmann, et Čech Radek, dir. The Lambda-structure of texts. Lüdenscheid : RAM-Verlag, 2011.
Trouver le texte intégralReynolds, J. C. On functors expressible in the polymorphic typed lambda calculus. Edinburgh : University of Edinburgh, Laboratory for Foundations of Computer Science, 1988.
Trouver le texte intégralAmadio, Roberto M., et Pierre-Louis Curien. Domains and Lambda-Calculi. Cambridge University Press, 2011.
Trouver le texte intégralAmadio, Roberto M., et Pierre-Louis Curien. Domains and Lambda-Calculi. Cambridge University Press, 2008.
Trouver le texte intégral