Results 221 to 230 of about 249,399 (261)
Some of the next articles are maybe not open access.
2005
We describe a polymorphic extension of the substructural lambda calculus αλ associated with the logic of bunched implications. This extension is particularly novel in that both variables and type variables are treated substructurally, being maintained through a system of zoned, bunched contexts.
Matthew Collinson +2 more
openaire +1 more source
We describe a polymorphic extension of the substructural lambda calculus αλ associated with the logic of bunched implications. This extension is particularly novel in that both variables and type variables are treated substructurally, being maintained through a system of zoned, bunched contexts.
Matthew Collinson +2 more
openaire +1 more source
Clinical Features Associated with Glucocorticoid Receptor Polymorphisms
Annals of the New York Academy of Sciences, 2009Laura Manenschijn
exaly
Polymorphisms of the Glucocorticoid Receptor Gene and Major Depression
Biological Psychiatry, 2006Marcus Ising +2 more
exaly