|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A First-Order Syntax for the π-Calculus in Isabelle/HOL using Permutations |
Röckl, Christine |
2001 |
58 | 1 |
p. 1-17 17 p. |
artikel |
|
| 2 | A Representation of Fω in LF |
Schürmann, Carsten |
2001 |
58 | 1 |
p. 79-96 18 p. |
artikel |
|
| 3 | A Third-Order Representation of the λμ-Calculus |
Abel, Andreas |
2001 |
58 | 1 |
p. 97-114 18 p. |
artikel |
|
| 4 | Developing (Meta)Theory of λ-calculus in the Theory of Contexts 1 1 Work partially supported by Italian MURST project tosca and EC-WG types. |
Miculan, Marino |
2001 |
58 | 1 |
p. 37-58 22 p. |
artikel |
|
| 5 | Encoding Generic Judgments |
Miller, Dale |
2001 |
58 | 1 |
p. 59-78 20 p. |
artikel |
|
| 6 | Preface |
Ambler, Simon J. |
2001 |
58 | 1 |
p. 115-116 2 p. |
artikel |
|
| 7 | The Mechanisation of Barendregt-Style Equational Proofs (the Residual Perspective) |
Vestergaard, René |
2001 |
58 | 1 |
p. 18-36 19 p. |
artikel |
7 gevonden resultaten