Results 251 to 260 of about 229,528 (288)
The Gα GOA-1/GNAO1 non-autonomously promotes germline stem cell quiescence in feminized <i>C. elegans</i> hermaphrodites from the gonadal sheath cells. [PDF]
MicroPubl BiolChaudhari AM, Nguyen MT, Narbonne P.
europepmc +1 more source
The interaction between the immune system and the autonomic nervous system in the pathophysiology of major depressive disorder: a scoping review. [PDF]
Brain Behav Immun HealthSaillart E +3 more
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice, 2012
We present a mechanized metatheoretic development of two presentations of LF: the Canonical presentation (in which only beta-short, eta-long terms are well-formed) and the original version based on definitional equivalence. We prove the standard metatheory, i.e. that type checking is decidable and canonical forms exist uniquely. We do so by translating
Chris Martens, Karl Crary
openaire +1 more source
We present a mechanized metatheoretic development of two presentations of LF: the Canonical presentation (in which only beta-short, eta-long terms are well-formed) and the original version based on definitional equivalence. We prove the standard metatheory, i.e. that type checking is decidable and canonical forms exist uniquely. We do so by translating
Chris Martens, Karl Crary
openaire +1 more source
[1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, 2003
A methodology for the verification of compiler correctness based on the LF logical framework as realized within the Elf programming language is presented. This technique is used to specify, implement, and verify a compiler from a simple functional programming language to a variant of the Categorical Abstract Machine (CAM). >
Hannan, John, Pfenning, F.
openaire +2 more sources
A methodology for the verification of compiler correctness based on the LF logical framework as realized within the Elf programming language is presented. This technique is used to specify, implement, and verify a compiler from a simple functional programming language to a variant of the Categorical Abstract Machine (CAM). >
Hannan, John, Pfenning, F.
openaire +2 more sources
Structure and representation in LF
[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science, 2003An important tool for controlling search in an object logic is the use of structured theory presentations. In order to apply these ideas to the setting of a logical framework, the authors study the behavior of structured theory presentations under representation in a framework, focusing on the problem of lifting presentations, from the object logic to ...
Robert Harper 0001 +2 more
openaire +1 more source
Doklady Mathematics, 2013
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources