Bibliografías temáticas / Lambda calculi / Libros
Siga este enlace para ver otros tipos de publicaciones sobre el tema: Lambda calculi.

Libros sobre el tema "Lambda calculi"

Autor: Grafiati
Publicado: 11 de marzo de 2023

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte los 50 mejores mejores libros para su investigación sobre el tema "Lambda calculi".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Explore libros sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.

1

Amadio, Roberto M. Domains and lambda-calculi. Cambridge, U.K: Cambridge University Press, 1998.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Hasegawa, Masahito, ed. Typed Lambda Calculi and Applications. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-38946-7.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Hofmann, Martin, ed. Typed Lambda Calculi and Applications. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/3-540-44904-3.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Della Rocca, Simona Ronchi, ed. Typed Lambda Calculi and Applications. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-73228-0.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Groote, Philippe y J. Roger Hindley, eds. Typed Lambda Calculi and Applications. Berlin, Heidelberg: Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/3-540-62688-3.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Dezani-Ciancaglini, Mariangiola y Gordon Plotkin, eds. Typed Lambda Calculi and Applications. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/bfb0014040.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Bezem, Marc y Jan Friso Groote, eds. Typed Lambda Calculi and Applications. Berlin, Heidelberg: Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/bfb0037093.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Ong, Luke, ed. Typed Lambda Calculi and Applications. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-21691-6.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Dowek, Gilles, ed. Rewriting and Typed Lambda Calculi. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-08918-8.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Abramsky, Samson, ed. Typed Lambda Calculi and Applications. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45413-6.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
11

Urzyczyn, Paweł, ed. Typed Lambda Calculi and Applications. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/b135690.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
12

Curien, Pierre-Louis, ed. Typed Lambda Calculi and Applications. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-02273-9.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
13

Girard, Jean-Yves, ed. Typed Lambda Calculi and Applications. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48959-2.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
14

Lambda calculi: A guide for the perplexed. Oxford [England]: Clarendon Press, 1994.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
15

Parrow, Joachim. Algebraic theories for name-passing calculi. Edinburgh: LFCS, Dept. of Computer Science, University of Edinburgh, 1993.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
16

Pawel, Urzyczyn, ed. Typed lambda calculi and applications: 7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings. Berlin: Springer, 2005.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
17

Philippe, De Groote y Hindley J. Roger, eds. 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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
18

M, Dezani-Ciancaglini y Plotkin G. 1946-, eds. 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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
19

1965-, Hofmann Martin, ed. Typed lambda calculi and applications: 6th international conference, TLCA 2003, Valencia, Spain, June 10-12, 2003 : proceedings. Berlin: Springer, 2003.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
20

Jean-Yves, Girard, ed. Typed lambda calculi and applications: 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings. Berlin: Springer, 1999.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
21

1953-, Abramsky Samson, ed. Typed lambda calculi and applications: 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings. New York: Springer, 2001.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
22

S, Ronchi Della Rocca, ed. Typed lambda calculi and applications: 8th international conference, TLCA 2007, Paris, France, June 26-28, 2007 ; proceedings. Berlin: Springer, 2007.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
23

1956-, Bezem M. y Groote J. F. 1965-, eds. 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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
24

Hasegawa, 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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
25

service), SpringerLink (Online, ed. 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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
26

Barendregt, H. P. Lambda calculus with types. Cambridge, UK: Cambridge University Press, 2013.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
27

Rocca, Simona Ronchi Della y Luca Paolini. The Parametric Lambda Calculus. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-662-10394-4.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
28

Krivine, Jean-Louis. Lambda: Calcul, types et modèles. Paris: Masson, 1990.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
29

Renaud, Francis. Sémantique du temps et lambda-calcul. Paris: Presses universitaires de France, 1996.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
30

Ricci, Raven. An introduction to lambda calculus. Delhi: Learning Press, 2012.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
31

Moggi, Eugenio. Computational lambda-calculus and monads. Edinburgh: University of Edinburgh, Laboratory for Foundations ofComputer Science, 1988.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
32

P, Seldin J., ed. [Lambda]-calculus and combinators: An introduction. New York: Cambridge University Press, 2008.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
33

Révész, György E. Lambda-calculus, combinators, and functional programming. Cambridge [England]: Cambridge University Press, 1988.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
34

P, Seldin J., ed. Introduction to combinators and [lambda]-calculus. Cambridge [Cambridgeshire]: Cambridge University Press, 1986.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
35

Draheim, 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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
36

Hindley, J. R. Introduction to combinators and (the lambda)-calculus. Cambridge: Cambridge University Press, 1986.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
37

Palsberg, Jens. Polyvariant analysis of the untyped lambda calculus. Aarhus, Denmark: Computer Science Department, Aarhus University, 1992.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
38

Abstract computing machines: A lambda calculus perspective. Berlin: Springer, 2005.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
39

Sangiorgi, Davide. A theory of bisimulation for the (lambda)-calculus. Edinburgh: LFCS, Dept. of Computer Science, University of Edinburgh, 1993.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
40

Di Pierro, Alessandra, Pasquale Malacaria y Rajagopal Nagarajan, eds. From Lambda Calculus to Cybersecurity Through Program Analysis. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-41103-9.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
41

Madry, Malgorzata. Representation of lambda-calculus terms by term-hypergraphs. Salford: University of Salford, 1992.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
42

Hagino, Tatsuya. A typed lambda calculus with categorical type constructors. Edinburgh: University of Edinburgh, Laboratory forFoundations of Computer Science, 1988.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
43

Michaelson, Greg. An introduction to functional programming through lambda calculus. Wokingham: Addison-Wesley, 1988.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
44

An introduction to functional programming through Lambda calculus. Mineola, N.Y: Dover Publications, 2011.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
45

An introduction to functional programming through Lambda calculus. Wokingham, England: Addison-Wesley Pub. Co., 1989.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
46

Meseguer, José. Relating models of polymorphism. Stanford, CA (Ventura Hall, Stanford 94305): Center for the Study of Language and Information, 1988.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
47

Gabriel, Altmann y Čech Radek, eds. The Lambda-structure of texts. Lüdenscheid: RAM-Verlag, 2011.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
48

Reynolds, J. C. On functors expressible in the polymorphic typed lambda calculus. Edinburgh: University of Edinburgh, Laboratory for Foundations of Computer Science, 1988.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
49

Amadio, Roberto M. y Pierre-Louis Curien. Domains and Lambda-Calculi. Cambridge University Press, 2011.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
50

Amadio, Roberto M. y Pierre-Louis Curien. Domains and Lambda-Calculi. Cambridge University Press, 2008.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
También puede estar interesado en las bibliografías sobre el tema "Lambda calculi" para otros tipos de fuentes:
Artículos de revistas Tesis
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!

Pasar a la bibliografía