|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | About permutation algebras, (pre)sheaves and named sets |
Gadducci, Fabio |
2006 |
19 | 2-3 |
p. 283-304 |
artikel |
|
| 2 | An initial algebra approach to term rewriting systems with variable binders |
Hamana, Makoto |
2006 |
19 | 2-3 |
p. 231-262 |
artikel |
|
| 3 | Explicit substitutions and higher-order syntax |
Ghani, Neil |
2006 |
19 | 2-3 |
p. 263-282 |
artikel |
|
| 4 | Formal compiler construction in a logical framework |
Hickey, Jason |
2006 |
19 | 2-3 |
p. 197-230 |
artikel |
|
| 5 | Mechanising λ-calculus using a classical first order theory of terms with permutations |
Norrish, Michael |
2006 |
19 | 2-3 |
p. 169-195 |
artikel |
|
| 6 | Pseudo-distributive laws and axiomatics for variable binding |
Tanaka, Miki |
2006 |
19 | 2-3 |
p. 305-337 |
artikel |
6 gevonden resultaten