Wszystkie pola: lambda-calculus

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ł:: Strong normalization of program-indexed Lambda calculus
Autorzy:: Kamide, Norihiro
Data publikacji:: 2010
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

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

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

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

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

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

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

Tytuł:: Categorical, functorial and algebraic aspects of the type-free lambda calculus
Autorzy:: Obtułowicz, Adam
Wiweger, Antoni
Data publikacji:: 1982
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

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

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

Tytuł:: Static and dynamic vector semantics for lambda calculus models of natural language
Autorzy:: Sadrzadeh, M.
Muskens, R.
Data publikacji:: 2018
Wydawca:: Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Tematy:: simple typed lambda calculus
vector semantic
composition
context update potential
dynamic logic; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

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

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

Tytuł:: On the complexity of the standard translation of lambda calculus into combinatory logic
Autorzy:: Lachowski, Łukasz
Data publikacji:: 2018
Wydawca:: Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
Tematy:: combinatory logic
lambda calculus
complexity analysis
functional programming; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: On the complexity of the standard translation of lambda calculus into combinatory logic
Autorzy:: Lachowski, Łukasz (matematyk). Autor
Współwytwórcy:: Zespół Katedr i Zakładów Informatyki Matematycznej (Uniwersytet Jagielloński) Instytucja sprawcza
Data publikacji:: 2018
Tematy:: Rachunek kombinatorów
Programowanie funkcjonalne (informatyka)
Złożoność obliczeniowa
Rachunek lambda; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Strong normalization of a typed lambda calculus for intuitionistic bounded linear-time temporal logic
Autorzy:: Kamide, Norihiro
Data publikacji:: 2012
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Strong Normalization of a Typed Lambda Calculus for Intuitionistic Bounded Linear-time Temporal Logic
Autorzy:: Kamide, Norihiro
Data publikacji:: 2012
Wydawca:: Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 19.

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

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

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

Skocz do pozycji: 22.

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

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

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

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

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

Tytuł:: On the complexity of the standard translation of lambda calculus into combinatory logic
Autorzy:: Lachowski, Ł.
Data publikacji:: 2018
Słowa kluczowe:: combinatory logic
lambda calculus
complexity analysis
functional programming; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 28.

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

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

Tytuł:: Strong normalization of a typed lambda calculus for intuitionistic bounded linear - time temporal logic
Autorzy:: Kamide, N.
Data publikacji:: 2012
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 31.

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

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

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

Skocz do pozycji: 34.

Tytuł:: Solution to the Range Problem for Combinatory Logic
Autorzy:: Intrigila, B.
Statman, R.
Data publikacji:: 2011
Słowa kluczowe:: lambda calculus
combinatory logic
range problem; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 35.

Tytuł:: Decidability of Several Concepts of Finiteness for Simple Types
Autorzy:: Santo, José Espírito
Matthes, Ralph
Pinto, Luís
Data publikacji:: 2019
Słowa kluczowe:: lambda calculus
proof search
coinduction
decision procedure; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 36.

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

Tytuł:: Complexity of Type Inference
Autorzy:: Tyszkiewicz, J.
Data publikacji:: 2010
Słowa kluczowe:: typed lambda calculus
simple types
typability
complexity
PTIME; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 38.

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

Tytuł:: An outline of type-theoretical approaches to lexical semantics
Autorzy:: Cooper, R.
Retoré, C.
Data publikacji:: 2017
Słowa kluczowe:: lexical semantics
compositional semantics
type theory
lambda calculus; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 40.

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

Skocz do pozycji: 41.

Tytuł:: Versatility of 'Continuations' in Discourse Semantics
Autorzy:: Dinu, A.
Data publikacji:: 2011
Słowa kluczowe:: continuations
dynamic semantics
lambda calculus
type shifting
scope
anaphora; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 42.

Tytuł:: Arithmetical Proofs of Strong Normalization Results for Symmetric [lambda]-calculi
Autorzy:: David, R.
Nour, K.
Data publikacji:: 2007
Słowa kluczowe:: lambda calculus
symmetric calculi
classical logic
strong normalisation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 43.

Tytuł:: Elementary Proof of Strong Normalization for Atomic F
Autorzy:: Ferreira, Fernando
Ferreira, Gilda
Data publikacji:: 2016
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: Predicative polymorphism
strong normalization
elementary proofs
lambda-calculus; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 44.

Tytuł:: An outline of type-theoretical approaches to lexical semantics
Autorzy:: Cooper, R.
Retoré, C.
Data publikacji:: 2017
Wydawca:: Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Tematy:: lexical semantics
compositional semantics
type theory
lambda calculus; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 45.

Tytuł:: Computing with Böhm tress
Autorzy:: David, R.
Data publikacji:: 2001
Słowa kluczowe:: lambda calculus
Böhm trees
head reduction
operational equivalence
decoration; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 46.

Tytuł:: A Type Driven Theory of Predication with Complex Types
Autorzy:: Asher, N.
Data publikacji:: 2008
Słowa kluczowe:: complex types
lambda calculus
categorial interpretation
copredication
coercion
dot types; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 47.

Tytuł:: Intersection Types from a Proof-theoretic Perspective
Autorzy:: Pimentel, E.
Ronchi della Rocca, S.
Roversi, L.
Data publikacji:: 2012
Słowa kluczowe:: intersection types
lambda calculus
type assignment systems
structural proof-theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 48.

Tytuł:: Nominal Unification and Matching of Higher Order Expressions with Recursive Let
Autorzy:: Schmidt-Schauß, Manfred
Kutsia, Temur
Levy, Jordi
Villaret, Mateu
Kutz , Yunus
Data publikacji:: 2022
Słowa kluczowe:: atom variables
higher-order expressions
lambda calculus
Nominal unification
recursive let; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 49.

Tytuł:: New Semantical Insights Into Call-by-Value λ-Calculus
Autorzy:: Manzonetto, Giulio
Pagani, Michele
Ronchi Della Rocca, Simona
Data publikacji:: 2019
Słowa kluczowe:: lambda calculus
call-by-value
relational semantics
approximation theorem
intersection types; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 50.

Tytuł:: Polyadic algebras over nonclassical logics
Autorzy:: Pigozzi, Don
Salibra, Antonino
Data publikacji:: 1993
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:: lambda calculus
modal logic
intuitionistic logic
many-valued logic
BCK logic; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Informacja

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