-
1
On the correctness of monadic backward induction
Veröffentlicht in Journal of functional programming
VolltextArtikel -
2
-
3
-
4
Extensional equality preservation and verified generic programming
Veröffentlicht in Journal of functional programming
VolltextArtikel -
5
-
6
Perspectives on adaptive dynamical systems
Veröffentlicht in Chaos (Woodbury, N.Y.)
VolltextArtikel -
7
-
8
-
9
-
10
-
11
-
12
On the logical structure of choice and bar induction principles
Veröffentlicht in arXiv.org
VolltextArtikel -
13
Lost options commitment: how short-term policies affect long-term scope of action
Veröffentlicht in arXiv.org
VolltextArtikel -
14
Extensional equality preservation and verified generic programming
Veröffentlicht in arXiv.org
VolltextArtikel -
15
-
16
-
17
-
18