nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A Short Introduction to Clones
|
Kerkhoff, Sebastian |
|
2014 |
303 |
C |
p. 107-120 14 p. |
artikel |
2 |
Chaotic Actions of Locally Compact Hausdorff Topological Groups
|
Schneider, Friedrich Martin |
|
2014 |
303 |
C |
p. 181-195 15 p. |
artikel |
3 |
Clones with Nullary Operations
|
Behrisch, Mike |
|
2014 |
303 |
C |
p. 3-35 33 p. |
artikel |
4 |
Dualizing Clones as Models of Lawvere Theories
|
Kerkhoff, Sebastian |
|
2014 |
303 |
C |
p. 79-105 27 p. |
artikel |
5 |
Exploiting Parallelism in Coalgebraic Logic Programming
|
Komendantskaya, Ekaterina |
|
2014 |
303 |
C |
p. 121-148 28 p. |
artikel |
6 |
Exploring Users' Preferences in a Fuzzy Setting
|
Glodeanu, Cynthia Vera |
|
2014 |
303 |
C |
p. 37-57 21 p. |
artikel |
7 |
Freyd categories are Enriched Lawvere Theories
|
Staton, Sam |
|
2014 |
303 |
C |
p. 197-206 10 p. |
artikel |
8 |
Logical Relations and Parametricity – A Reynolds Programme for Category Theory and Programming Languages
|
Hermida, Claudio |
|
2014 |
303 |
C |
p. 149-180 32 p. |
artikel |
9 |
Preface
|
Power, John |
|
2014 |
303 |
C |
p. 1-2 2 p. |
artikel |
10 |
Towards a Notion of Lambda Monoid
|
Hyland, Martin |
|
2014 |
303 |
C |
p. 59-77 19 p. |
artikel |