Results 161 to 170 of about 307 (171)

An interactive, incremental and portable computer algebra system for λ-calculus and combinatory logic based on video edition and rewriting techniques

2006
openaire   +1 more source

Predicate calculus and naive set theory in pure combinatory logic

Archive for Mathematical Logic, 1981
M W Bunder
exaly  

Nonmodularity Results for Lambda Calculus

Fundamenta Informaticae, 2001
Antonino Salibra
exaly  

Axioms for the Theory of Lambda-Conversion

SIAM Journal on Computing, 1985
György Revesz
exaly  

A Finite Equational Axiomatization of the Functional Algebras for the Lambda Calculus

Information and Computation, 1999
Antonino Salibra, Robert Goldblatt
exaly  

Strong Reduction of Combinatory Calculus with Streams

Studia Logica, 2014
exaly  

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

Lecture Notes in Computer Science, 2005
exaly  

Strong normalization of a symmetric lambda calculus for second-order classical logic

Archive for Mathematical Logic, 2002
Yoriyuki Yamagata
exaly  

The search for a reduction in combinatory logic equivalent to λβ-reduction

Theoretical Computer Science, 2011
Jonathan P Seldin
exaly  

Cartesian closed categories and lambda-calculus

Lecture Notes in Computer Science, 2005
Gérard Huet
exaly