-
1
Explicit substitution on the edge of strong normalization
Veröffentlicht in Theoretical computer science
VolltextArtikel -
2
-
3
The Barendregt Cube with Definitions and Generalised Reduction
Veröffentlicht in Information and computation
VolltextArtikel -
4
On Π-conversion in the λ-cube and the combination with abbreviations
Veröffentlicht in Annals of pure and applied logic
VolltextArtikel -
5
-
6
-
7
-
8
-
9
Patient blood management : a solution for South Africa
Veröffentlicht in SAMJ: South African Medical Journal
VolltextArtikel -
10
-
11
-
12
-
13
-
14
-
15
-
16
-
17
-
18
-
19
-
20