Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Jean-Louis Krivine

Dependent Choice, ‘Quote’ and the Clock

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
2003English

A General Storage Theorem for Integers in Call-By-Name Λ-Calculus

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
1994English

Related publications

DOUBLETIME Plays a Noncatalytic Role to Mediate CLOCK Phosphorylation and Repress CLOCK-Dependent Transcription Within the Drosophila Circadian Clock

Molecular and Cellular Biology
Cell BiologyMolecular Biology
2009English

Dependent Random Choice

Random Structures and Algorithms
MathematicsApplied MathematicsComputer GraphicsComputer-Aided DesignSoftware
2010English

Tick Size and Quote Revisions on the NYSE

SSRN Electronic Journal
2001English

Quote of the Day Protocol

1983English

The NAD+-Dependent Deacetylase SIRT1 Modulates CLOCK-Mediated Chromatin Remodeling and Circadian Control

Cell
BiochemistryGeneticsMolecular Biology
2008English

Phase-Dependent Shifting of the Adrenal Clock by Acute Stress-Induced ACTH

Frontiers in Endocrinology
EndocrinologyMetabolismDiabetes
2016English

Disrupting the Key Circadian Regulator CLOCK Leads to Age-Dependent Cardiovascular Disease

Journal of Molecular and Cellular Cardiology
Cardiovascular MedicineMolecular BiologyCardiology
2017English

To Quote or Not to Quote: “Literature in Law” in European Court Decisions and Legal English Teaching

ASp
LinguisticsLanguage
2013English

Histone Lysine Demethylase JARID1a Activates CLOCK-BMAL1 and Influences the Circadian Clock

Science
MultidisciplinaryPhilosophy of ScienceHistory
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy