Contingent negative variation (CNV) and drug effects
- 期刊名称Biological Psychology
- 作者Ashton, H.; Marsh, V.R.; Thompson, J.W.
- 卷第15卷
- 印刷ISSN0301-0511
- 文件大小139.32KB
- 发表时间1982-11
- DOI10.1016/0301-0511(82)90089-8
- 页码293-294
Full intuitionistic linear logic (extended abstract)Martin Hyland; Valeria de Paiva · 1993
Pseudo-commutative MonadsMartin Hyland; John Power · 2001
ForewordGeorge Janelidze; Martin Hyland; Michael Johnson; Peter Johnstone; Stephen Lack; Ross Street; Walter Tholen; Richard Wood · 2011
Combining effects: Sum and tensorMartin Hyland; Gordon Plotkin; John Power · 2006
Discrete Lawvere theories and computational effectsMartin Hyland; John Power · 2006
Combining algebraic effects with continuationsMartin Hyland; Paul Blain Levy; Gordon Plotkin; John Power · 2007
Two-dimensional linear algebraMartin Hyland; John Power · 2001
Computability in Europe 2010Fernando Ferreira; Martin Hyland; Benedikt Löwe; Elvira Mayordomo · 2012
Verification of Model TransformationsCalegari, Daniel; Szasz, Nora · Electronic Notes in Theoretical Computer Science · 2013
PrefaceCAVALCANTI, A · Electronic Notes in Theoretical Computer Science · 2004
Pollack-inconsistencyWiedijk, Freek · Electronic Notes in Theoretical Computer Science · 2012
Proving Termination by Policy IterationMassé, Damien · Electronic Notes in Theoretical Computer Science · 2012
Engineering the Prover InterfaceGast, Holger · Electronic Notes in Theoretical Computer Science · 2012
Typed vs. Untyped RealizabilityBerger, Ulrich; Hou, Tie · Electronic Notes in Theoretical Computer Science · 2012
Sweeping in Abstract InterpretationJakubczyk, Krzysztof · Electronic Notes in Theoretical Computer Science · 2012
PrefaceChockler, Hana · Electronic Notes in Theoretical Computer Science · 2013