nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A simple canonical representation of rational numbers
|
Bertot, Yves |
|
2003 |
85 |
7 |
p. 1-16 16 p. |
artikel |
2 |
Automath and Pure Type Systems
|
Kamareddine, Fairouz |
|
2003 |
85 |
7 |
p. 30-49 20 p. |
artikel |
3 |
Eigenvariables, bracketing and the decidability of positive minimal intuitionistic logic
|
Dowek, Gilles |
|
2003 |
85 |
7 |
p. 17-29 13 p. |
artikel |
4 |
Explicit Substitutions à la de Bruijn
|
Kamareddine, Fairouz |
|
2003 |
85 |
7 |
p. 86-105 20 p. |
artikel |
5 |
On the Structure of Mizar Types
|
Bancerek, Grzegorz |
|
2003 |
85 |
7 |
p. 69-85 17 p. |
artikel |
6 |
Polymorphic type-checking for the ramified theory of types of Principia Mathematica
|
Holmes, M.Randall |
|
2003 |
85 |
7 |
p. 125-145 21 p. |
artikel |
7 |
Preface
|
Geuvers, Herman |
|
2003 |
85 |
7 |
p. 146-147 2 p. |
artikel |
8 |
Remarks on Isomorphisms of Simple Inductive Types
|
Chemouil, David |
|
2003 |
85 |
7 |
p. 106-124 19 p. |
artikel |
9 |
Tactics and Parameters
|
Jojgov, Gueorgui |
|
2003 |
85 |
7 |
p. 50-68 19 p. |
artikel |