Relevant bibliographies by topics / Lambda calculi / Books

Books on the topic 'Lambda calculi'

To see the other types of publications on this topic, follow the link: Lambda calculi.
Author: Grafiati
Published: 11 March 2023

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 books for your research on the topic 'Lambda calculi.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse books on a wide variety of disciplines and organise your bibliography correctly.

1

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Groote, Philippe, and 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
11

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
14

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
15

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
16

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
17

Philippe, De Groote, and 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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
18

M, Dezani-Ciancaglini, and 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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
23

1956-, Bezem M., and 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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
26

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
27

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
28

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
29

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
30

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
31

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
32

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
33

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
34

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
36

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
37

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
38

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
39

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
40

Di Pierro, Alessandra, Pasquale Malacaria, and 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
41

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
42

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
43

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
44

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
45

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
46

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
47

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
48

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
49

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
50

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Lambda calculi' for other source types:
Journal articles Dissertations / Theses
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography