|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
11 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Formalization of Strong Normalization for Simply-Typed Lambda-Calculus and System F |
Donnelly, Kevin |
2007 |
174 | 5 |
p. 109-125 17 p. |
artikel |
|
| 2 | A Head-to-Head Comparison of de Bruijn Indices and Names |
Berghofer, Stefan |
2007 |
174 | 5 |
p. 53-67 15 p. |
artikel |
|
| 3 | A List-machine Benchmark for Mechanized Metatheory |
Appel, Andrew W. |
2007 |
174 | 5 |
p. 95-108 14 p. |
artikel |
|
| 4 | A Logic for Reasoning about Generic Judgments |
Tiu, Alwen |
2007 |
174 | 5 |
p. 3-18 16 p. |
artikel |
|
| 5 | Encoding Functional Relations in Scunak |
Brown, Chad E. |
2007 |
174 | 5 |
p. 127-139 13 p. |
artikel |
|
| 6 | Hierarchical Nominal Terms and Their Theory of Rewriting |
Gabbay, Murdoch J. |
2007 |
174 | 5 |
p. 37-52 16 p. |
artikel |
|
| 7 | Modelling Generic Judgements |
Schöpp, Ulrich |
2007 |
174 | 5 |
p. 19-35 17 p. |
artikel |
|
| 8 | Nominal Reasoning Techniques in Coq |
Aydemir, Brian |
2007 |
174 | 5 |
p. 69-77 9 p. |
artikel |
|
| 9 | Practical Reflection for Sequent Logics |
Hickey, Jason |
2007 |
174 | 5 |
p. 79-94 16 p. |
artikel |
|
| 10 | Preface |
Momigliano, Alberto |
2007 |
174 | 5 |
p. 1-2 2 p. |
artikel |
|
| 11 | Synthesis of Moduli of Uniform Continuity by the Monotone Dialectica Interpretation in the Proof-system MinLog |
Hernest, Mircea-Dan |
2007 |
174 | 5 |
p. 141-149 9 p. |
artikel |
11 gevonden resultaten