Wszystkie pola: lambda-calculus - Prolib Integro

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "lambda-calculus" wg kryterium: Wszystkie pola

Wyświetlanie 1-10 z 12

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Counting terms in the binary lambda calculus
Autorzy:: Grygiel, Katarzyna
Lescanne, Pierre
Data publikacji:: 2015
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Counting terms in the binary lambda calculus
Autorzy:: Lescanne, Pierre
Grygiel, Katarzyna
Data publikacji:: 2014
Wydawca:: DMTCS
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: On the complexity of the standard translation of lambda calculus into combinatory logic
Autorzy:: Lachowski, Łukasz
Data publikacji:: 2018
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Asymptotyczne własności rachunku lambda i logiki kombinatorycznej
Asymptotic properties of lambda calculus and combinatory logic
Autorzy:: Grygiel, Katarzyna
Współwytwórcy:: Zaionc, Marek
Data publikacji:: 2013-05-23
Słowa kluczowe:: combinatory logic
rachunek lambda
lambda calculus
gęstość
asymptotic investigations in logic
density
badania asymptotyczne w logikach
logika kombinatoryczna; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Książka

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Object complexity
Autorzy:: Szczypka, Edward
Data publikacji:: 2004
Słowa kluczowe:: lambda-calculus
complexity function; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Quantitative analysis of linear lambda terms.
Ilościowa analiza liniowego rachunku lambda.
Autorzy:: Kaczmarek, Mateusz
Słowa kluczowe:: rachunek lambda, liniowy rachunek lambda, afiniczny rachunek lambda, analiza ilościowa, mapy, mapy kombinatoryczne
lambda calculus, linear lambda calculus, affine lambda calculus, quantitative analysis, map, combinatorial map; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Combinatorics of $\lambda$-terms : a natural approach
Autorzy:: Grygiel, Katarzyna
Lescanne, Pierre
Bendkowski, Maciej
Zaionc, Marek
Data publikacji:: 2017
Słowa kluczowe:: asymptotic density
functional programming
combinatorics
Lambda calculus; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Towards the average-case analysis of substitution resolution in λ-calculus
Autorzy:: Bendkowski, Maciej
Data publikacji:: 2019
Wydawca:: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Słowa kluczowe:: explicit substitutions
combinatorics
complexity
lambda calculus; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Probabilistic approach to the lambda definability for fourth order types
Autorzy:: Zaionc, Marek
Data publikacji:: 2005
Słowa kluczowe:: probabilistic distribution
higher order types
lambda calculus; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: On the enumeration of closures and environments with an application to random generation
Autorzy:: Bendkowski, Maciej
Lescanne, Pierre
Data publikacji:: 2019
Słowa kluczowe:: mathematical analysis
functional programming
lambda-calculus
complexity
combinatorics; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Wyświetlanie 1-10 z 12

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies