„combinatory logic“
Suchergebnisse
1.000+ Treffer
-
J. R. Hindley, B. Lercher and J. P. Seldin, Introduction to Combinatory Logic. (London Mathematical Society Lecture Note Series, Tome 7). 170 S. Cambridge 1972. University Press. Preis brosch. £ 2.0 net
-
Bounded Combinatory Logic
-
Automatic synthesis of component & connector software architectures with bounded combinatory logic
-
Design space exploration in engineering automation
-
Finite Combinatory Logic with Predicates
-
Logical Foundations of Computer Science – International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings
-
Combinatory Logic and Lambda Calculus Are Equal, Algebraically
-
On Quantitative Algebraic Higher-Order Theories
-
On Repetitive Right Application of B-Terms
-
Lower End of the Linial-Post Spectrum
-
Confluence of an Extension of Combinatory Logic by Boolean Constants
-
Proving Correctness of Logically Decorated Graph Rewriting Systems
-
Mixin Composition Synthesis Based on Intersection Types
-
Meaningless Sets in Infinitary Combinatory Logic
-
Axiomatizing the Quote
-
A Semantic Approach to Illative Combinatory Logic
-
On the problem of deciding equality in partial combinatory algebras and in a formal system
-
Some generalizations to two systems of set theory based on combinatory logic
-
Predicate calculus and naive set theory in pure combinatory logic
-
Some remarks about the connections between Combinatory Logic and axiomatic recursion theory