-
1
-
2
-
3
-
4
-
5
-
6
Monadic translation of classical sequent calculus
Veröffentlicht in Mathematical structures in computer science
VolltextArtikel -
7
-
8
-
9
-
10
A Refined Interpretation of Intuitionistic Logic by Means of Atomic Polymorphism
Veröffentlicht in Studia logica
VolltextArtikel -
11
-
12
-
13
-
14
-
15
A coinductive approach to proof search through typed lambda-calculi
Veröffentlicht in Annals of pure and applied logic
VolltextArtikel -
16
The Russell-Prawitz embedding and the atomization of universal instantiation
Veröffentlicht in Logic journal of the IGPL
VolltextArtikel -
17
-
18
-
19
-
20
A Coinductive Approach to Proof Search through Typed Lambda-Calculi
Veröffentlicht in arXiv.org
VolltextArtikel