Temat: 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: Temat

Wyświetlanie 1-10 z 29

Zaznacz

Skocz do pozycji: 1.

Tytuł:: A Behavioural Lambda Model
Autorzy:: Dezani-Ciangaglini, M.
Ghilezan, S.
Data publikacji:: 2003
Słowa kluczowe:: lambda calculus
intersection types
models of lambda calculus
stone duality; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Object Complexity
Autorzy:: Szczypka, E.
Data publikacji:: 2004
Słowa kluczowe:: lambda calculus
complexity function; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: An axiomatic system of parametricity
Autorzy:: Takeuti, I.
Data publikacji:: 1998
Słowa kluczowe:: parametricity
polymorphism
lambda calculus; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Marginalia to a theorem of Jacopini
Autorzy:: Statman, R.
Data publikacji:: 2001
Słowa kluczowe:: lambda calculus
consistency; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: A Tutorial Implementation of a Dependently Typed Lambda Calculus
Autorzy:: Löh, A.
McBride, C.
Swierstra, W.
Data publikacji:: 2010
Słowa kluczowe:: lambda calculus
dependent types; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Very Simple Chaitin Machines for Concrete AIT
Autorzy:: Stay, M.
Data publikacji:: 2005
Słowa kluczowe:: Chaitin machine
lambda calculus; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Church–Rosser Made Easy
Autorzy:: Kozen, D.
Data publikacji:: 2010
Słowa kluczowe:: lambda calculus
confluence
Church-Rosser theorem; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Two problems on reduction graphs in lambda calculus
Autorzy:: Intrigila, B.
Laurenzi, A.R.
Data publikacji:: 2000
Słowa kluczowe:: lambda calculus
reduction graph
reduction cycle; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Reducibility Proofs in the λ-Calculus
Autorzy:: Kamareddine, F.
Rahli, V.
Wells, J. B.
Data publikacji:: 2012
Słowa kluczowe:: lambda calculus
reducibility
Church-Rosser theorem
development; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Fixed point equations inside the algebra of normal forms
Autorzy:: Böhm, C.
Data publikacji:: 1999
Słowa kluczowe:: lambda calculus
abstract algebras
fixed point equations; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-10 z 29

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

Informacja

Wyszukujesz frazę "lambda-calculus" wg kryterium: Temat