Search

Filters

Use filters to refine the search results.

Now showing items 1-4 of 4

A Recipe for State-and-Effect Triangles

Jacobs, B.

2017, Article / Letter to editor (Logical Methods in Computer Science, vol. 13, iss. 2, (2017), pp. 1-26)
Hyper Normalisation and Conditioning for Discrete Probability Distributions

Jacobs, B.

2017, Article / Letter to editor (Logical Methods in Computer Science, vol. 13, iss. 3, (2017), pp. 1-29)
Games for Bisimulation and Abstraction

de Frutos Escrig, D.; Keiren, J.J.A. ; Willemse, T.A.C.

2017, Article / Letter to editor (Logical Methods in Computer Science, vol. 13, iss. 4, (2017), pp. 1-40)
Statman's Hierarchy Theorem

Westerbaan, B.; Westerbaan, Bas; Kuyper, R.; Tankink, C. ; Viehoff, R.; Barendregt, H.

2017, Article / Letter to editor (Logical Methods in Computer Science, vol. 13, iss. 4, (2017), pp. 1-39)