Увійти

Готові списки джерел за темами / Lambda calculi / Книги

Щоб переглянути інші типи публікацій з цієї теми, перейдіть за посиланням: Lambda calculi.

Книги з теми "Lambda calculi"

Автор: Grafiati

Опубліковано: 11 березня 2023

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся з топ-50 книг для дослідження на тему "Lambda calculi".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Переглядайте книги для різних дисциплін та оформлюйте правильно вашу бібліографію.

1

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

11

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

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

14

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

15

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

16

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

21

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

26

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

28

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

29

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

30

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

31

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

32

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

33

Révész, György E. Lambda-calculus, combinators, and functional programming. Cambridge [England]: Cambridge University Press, 1988.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

34

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

36

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

37

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

38

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

39

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

41

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

42

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

43

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

44

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

45

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

46

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

47

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

48

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

49

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

50

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!