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

Зміст

  1. Статті в журналах

Добірка наукової літератури з теми "Lambda calculi"

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

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

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

Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Lambda calculi".

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

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

Статті в журналах з теми "Lambda calculi"

1

Zamdzhiev, Vladimir. "Computational Adequacy for Substructural Lambda Calculi." Electronic Proceedings in Theoretical Computer Science 333 (February 8, 2021): 322–34. http://dx.doi.org/10.4204/eptcs.333.22.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

KAMAREDDINE, FAIROUZ. "Typed $\lambda$-calculi with one binder." Journal of Functional Programming 15, no. 05 (2005): 771. http://dx.doi.org/10.1017/s095679680500554x.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Boudol, G. "Lambda-Calculi for (Strict) Parallel Functions." Information and Computation 108, no. 1 (1994): 51–127. http://dx.doi.org/10.1006/inco.1994.1003.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Staples, John. "Delaying unification algorithms for lambda calculi." Theoretical Computer Science 56, no. 3 (1988): 277–88. http://dx.doi.org/10.1016/0304-3975(88)90135-1.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

BOUDOL, GÉRARD, PIERRE-LOUIS CURIEN, and CAROLINA LAVATELLI. "A semantics for lambda calculi with resources." Mathematical Structures in Computer Science 9, no. 4 (1999): 437–82. http://dx.doi.org/10.1017/s0960129599002893.

Повний текст джерела
Анотація:
We present the λ-calculus with resources λr, and two variants of it: a deterministic restriction λm and an extension λcr with a convergence testing operator. These calculi provide a control on the substitution process – deadlocks may arise if not enough resources are available to carry out all the substitutions needed to pursue a computation. The design of these calculi was motivated by Milner's encoding of the λ-calculus in the π-calculus. As Boudol and Laneve have shown elsewhere, the discriminating power of λm (given by the contextual observational equivalence) over λ-terms coincides with t
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Katayama, Susumu. "Computable Variants of AIXI which are More Powerful than AIXItl." Journal of Artificial General Intelligence 10, no. 1 (2019): 1–23. http://dx.doi.org/10.2478/jagi-2019-0001.

Повний текст джерела
Анотація:
Abstract This paper presents Unlimited Computable AI, or UCAI, that is a family of computable variants of AIXI. UCAI is more powerful than AIXItl, which is a conventional family of computable variants of AIXI, in the following ways: 1) UCAI supports models of terminating computation, including typed lambda calculi, while AIXItl only supports Turing machine with timeout ˜t, which can be simulated by typed lambda calculi for any ˜t; 2) unlike UCAI, AIXItl limits the program length to some ˜l .
Стилі APA, Harvard, Vancouver, ISO та ін.
7

ZORZI, MARGHERITA. "On quantum lambda calculi: a foundational perspective." Mathematical Structures in Computer Science 26, no. 7 (2014): 1107–95. http://dx.doi.org/10.1017/s0960129514000425.

Повний текст джерела
Анотація:
In this paper, we propose an approach to quantum λ-calculi. The ‘quantum data-classical control’ paradigm is considered. Starting from a measurement-free untyped quantum λ-calculus calledQ, we will study standard properties such as confluence and subject reduction, and some good quantum properties. We will focus on the expressive power, analysing the relationship with other quantum computational models. Successively, we will add an explicit measurement operator toQ. On the resulting calculus, calledQ*, we will propose a complete study of reduction sequences regardless of their finiteness, prov
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Mulmuley, Ketan. "Fully abstract submodels of typed lambda calculi." Journal of Computer and System Sciences 33, no. 1 (1986): 2–46. http://dx.doi.org/10.1016/0022-0000(86)90041-3.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Nielson, Flemming, and Hanne Riis Nielson. "Prescriptive Frameworks for Multi-Level Lambda-Calculi." ACM SIGPLAN Notices 32, no. 12 (1997): 193–202. http://dx.doi.org/10.1145/258994.259018.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Joy, M. "Lambda Calculi: A Guide For Computer Scientists." Computer Journal 38, no. 1 (1995): 78–79. http://dx.doi.org/10.1093/comjnl/38.1.78-a.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Більше джерел
Також вас можуть зацікавити розширені добірки на тему "Lambda calculi" для конкретних типів джерел:
Статті в журналах
Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!

До бібліографії