Skip to search formSkip to main contentSkip to account menu

Binary combinatory logic

Known as: BCL 
Binary combinatory logic (BCL) is a formulation of combinatory logic using only the symbols 0 and 1. BCL has applications in the theory of program… 
Wikipedia (opens in a new tab)

Related topics

Related topics

8 relations

Broader (1)

Algorithmic information theory
Combinatory logicDenotational semanticsIota and JotKolmogorov complexity

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
BCL 2 Inhibitors as Anticancer Drugs : A Plethora of Misleading BH 3 Mimetics
Antiapoptotic BCL2 proteins play a major role in tumor cell survival. Hence, BCL2 inhibitors have been developed as direct… 
2014
2014
Abstract booklet Publications on Prechtl’s Method on the Qualitative Assessment of General Movements in Preterm, Term and Young Infants
booklet Publications on Prechtl’s Method on the Qualitative Assessment of General Movements in Preterm, Term and Young Infants… 
2013
2013
Numerical Simulation of Trapped Field and Temperature Rise in $\hbox{MgB}_{2}$ Bulks Magnetized by Pulsed Field
Pulsed field magnetization (PFM) was performed for the MgB<sub>2</sub> bulk 30 mm in diameter and the applied pulsed-field… 
2009
2009
The Business Choreography Language (BCL) - A Domain-Specific Language for Global Choreographies
UN/CEFACT’s Modeling Methodology (UMM) is a modelingapproach for describing the choreography of B2B processes.UMM is developed by… 
2009
2009
A peptomimetic inhibitor of BCL 6 with potent antilymphoma effects in vitro and in vivo
The BCL6 transcriptional repressor is the most commonly involved oncogene in diffuse large B-cell lymphomas (DLBCLs). BCL6… 
Highly Cited
2005
Highly Cited
2005
Dealing with contract violations: formalism and domain specific language
This paper presents a formal system for reasoning about violations of obligations in contracts. The system is based on the… 
2002
2002
A Border-based Coordination Language for Integrating Task and Data Parallelism
This paper presents BCL, a border-based coordination language focused on the solution of numerical applications. Our approach… 
Highly Cited
1998
Highly Cited
1998
Clinical Relevance of BCL 2 , BCL 6 , and MYC Rearrangements in Diffuse Large B-Cell Lymphoma
Diffuse large B-cell lymphoma (DLCL) is characterized by a marked degree of morphologic and clinical heterogeneity. We studied… 
1982
1982
The CONLAN Project: Status and Future Plans
CONLAN (CONsensus LANguage) is a general formal language construction mechanism for the description of hard- and firmware at… 
1975
1975
Electron paramagnetic resonance properties ofn-type silicon in the intermediate impurity-concentration range
are noted for the BCL, the BCL parameters exhibit temperature dependences which are distinct from those observed for the… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)