Électrocardiogramme d'effort
- 期刊名称EMC - Cardiologie-Angéiologie
- 作者Marcadet, Dany-Michel
- 卷第1卷
- 期第4期
- 印刷ISSN1762-6137
- 文件大小3916.18KB
- 发表时间2004-11
- DOI10.1016/j.emcaa.2004.08.001
- 页码281-309
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