|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
19 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Categorical Semantics of Higher Order Store |
Laird, J. |
2003 |
69 | C |
p. 209-226 18 p. |
artikel |
|
| 2 | Adjunction Models For Call-By-Push-Value With Stacks |
Levy, Paul Blain |
2003 |
69 | C |
p. 248-271 24 p. |
artikel |
|
| 3 | A monadic approach to polycategories |
Koslowski, J. |
2003 |
69 | C |
p. 183-208 26 p. |
artikel |
|
| 4 | Bisimulation Relations for Dynamical and Control Systems |
Haghverdi, Esfandiar |
2003 |
69 | C |
p. 120-136 17 p. |
artikel |
|
| 5 | Classifying categories for partial equational logic |
Schröder, Lutz |
2003 |
69 | C |
p. 305-322 18 p. |
artikel |
|
| 6 | Factorization systems and fibrations |
Hughes, Jesse |
2003 |
69 | C |
p. 156-182 27 p. |
artikel |
|
| 7 | GS·Λ Theories |
Coccia, Matteo |
2003 |
69 | C |
p. 83-100 18 p. |
artikel |
|
| 8 | Induction, Coinduction, and Adjoints |
Cockett, Robin |
2003 |
69 | C |
p. 101-119 19 p. |
artikel |
|
| 9 | Joyal's arithmetic universes via type theory |
Maietti, Maria Emilia |
2003 |
69 | C |
p. 272-286 15 p. |
artikel |
|
| 10 | Local Compactness and the Baire Category Theorem in Abstract Stone Duality |
Taylor, Paul |
2003 |
69 | C |
p. 323-345 23 p. |
artikel |
|
| 11 | Multiplicative Linear Logics and Fibrations |
Lamarche, François |
2003 |
69 | C |
p. 227-247 21 p. |
artikel |
|
| 12 | Non-Uniform Hypercoherences |
Boudes, Pierre |
2003 |
69 | C |
p. 62-82 21 p. |
artikel |
|
| 13 | On Iteratable Endofunctors |
Milius, Stefan |
2003 |
69 | C |
p. 287-304 18 p. |
artikel |
|
| 14 | On Rational Monads and Free Iterative Theories |
Adámek, Jiří |
2003 |
69 | C |
p. 23-46 24 p. |
artikel |
|
| 15 | Paths and Simulations |
Worytkiewicz, Krzysztof |
2003 |
69 | C |
p. 346-361 16 p. |
artikel |
|
| 16 | Physical Traces |
Abramsky, Samson |
2003 |
69 | C |
p. 1-22 22 p. |
artikel |
|
| 17 | Preface |
Blute, Richard |
2003 |
69 | C |
p. 362-365 4 p. |
artikel |
|
| 18 | The Uniformity Principle on Traced Monoidal Categories |
Hasegawa, Masahito |
2003 |
69 | C |
p. 137-155 19 p. |
artikel |
|
| 19 | Unique, guarded fixed points in an additive setting |
Bloom, Stephen L. |
2003 |
69 | C |
p. 47-61 15 p. |
artikel |
19 gevonden resultaten