Results 151 to 160 of about 307 (171)

Call-by-value combinatory logic and the lambda-value calculus

1992
Since it is unsound to reason about call-by-value languages using call-by name equational theories, we present two by-value combinatory logics and translations from the λ-value (λv) calculus to the logics. The first by-value logic is constructed in a manner similar to the λv-calculus: it is based on the byname combinatory logic, but the combinators are
John Gateley, Bruce F. Duba
openaire   +2 more sources

A new translation algorithm from lambda calculus into combinatory logic

1995
Systems of lambda calculus are of importance for most knowledge representation theories and in particular for several systems for Natural Language Processing. During the implementation of lambda systems several problems arise that are directly related to the presence of bound variables.
Sabine Broda, Luís Damas
openaire   +2 more sources

Clones, closed categories, and combinatory logic [PDF]

Lecture Notes in Computer Science
We give an exposition of the semantics of the simply-typed lambda-calculus, and its linear and ordered variants, using multi-ary structures. We define universal properties for multicategories, and use these to derive familiar rules for products, tensors,
Philip Saville
exaly   +2 more sources

Intersection and union types for combinatory logic and principal type-scheme for concurrent lambda-calculus

2020
ABSTRACT The aim of this work is mainly to study the principal type-schemes for terms of a parallel and non-deterministic Lambda Calculus in a type discipline which allows intersection and union types. In pVL Dezani-Ciancaglini et aL'93], {M. Dezani- Ciancaglini et aL'94] and [M.
openaire   +1 more source

Proof-theoretical methods in combinatory logic and lambda-calculus

2005
Original contribution on proof theoretical methods in untyped theories of ...
openaire   +1 more source

Finite Generation and Presentation Problems for Lambda Calculus and Combinatory Logic

2021
openaire   +1 more source

Finite Generation and Presentation Problems for Lambda Calculus and Combinatory Logic

Lecture Notes in Computer Science, 2022
Josiah Carberry
exaly  

A new translation algorithm from lambda calculus into combinatory logic

Lecture Notes in Computer Science, 2005
Sabine Broda, Luis Damas
exaly  

Deductive systems and categories III. Cartesian closed categories, intuitionist propositional calculus, and combinatory logic

Lecture Notes in Mathematics, 1972
Joachim Lambek
exaly  

Lambda calculus with patterns

Theoretical Computer Science, 2008
Vincent van Oostrom, Roel de Vrijer, Jan Willem Klop   +2 more
exaly