Wszystkie pola: lambda-calculus

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 34

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Nonmodularity results for lambda calculus
Autorzy:: Salibra, A.
Data publikacji:: 2001
Słowa kluczowe:: lambda calculus
lambda abstraction algebras
combinatory algebras
lattice of lambda theories
modularity
commutator; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

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: 3.

Tytuł:: Lambda abstraction algebras : coordinatizing models of lambda calculus
Autorzy:: Pigozzi, D.
Salibra, A.
Data publikacji:: 1998
Słowa kluczowe:: lambda calculus
cylindric algebras
polyadic algebras
abstract substitution
combinatory algebras
lambda algebras
lambda models
representation theorems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: About the Notion of Easiness in lambda-Calculus
Autorzy:: Bertini, Y.
Data publikacji:: 2003
Słowa kluczowe:: easy-terms
consistency
notion of undefined
infinite lambda-calculus; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Tree operations in P systems and [lambda]-calculus
Autorzy:: Jonoska, N.
Margenstern, M.
Data publikacji:: 2004
Słowa kluczowe:: P systems
membrane system; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Principal Typing for Lambda Calculus in Elementary Affine Logic
Autorzy:: Coppola, P.
Ronchi della Rocca, S.
Data publikacji:: 2005
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

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: 8.

Tytuł:: Defining Recursors by Solving Equations in Second-Order Lambda Calculus
Autorzy:: Spławski, Z.
Data publikacji:: 2003
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

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: 10.

Tytuł:: Static and dynamic vector semantics for lambda calculus models of natural language
Autorzy:: Sadrzadeh, M.
Muskens, R.
Data publikacji:: 2018
Słowa kluczowe:: simple typed lambda calculus
vector semantic
composition
context update potential
dynamic logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-10 z 34

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: Wszystkie pola