1. 2000
  2. NOD-classificatie: NOD-classification

    Beunk, B. 2000 p. 1-11 11 p.

    Research output: Working paper/discussion paperWorking paper/Discussion paperProfessional

  3. 1994
  4. Dutch Political Life under English Rule: Albany, N.Y., During Leisler's Rebellion, 1689-1690

    Waterman, MA, K-J. 1994 Proceedings of the 19th Annual Conference of the Middle Atlantic Historical Association of Catholic Colleges and Universities (MAHACCU). Kratz, C. E. & Craft, M. E. (eds.). Scanton, PA: University of Scranton Press, p. 112-120

    Research output: Chapter in book/volumeContribution to conference proceedingsScientific

  5. Interpolation in Fragments of Classical Linear Logic

    Roorda, D. 1994 In : Journal of Symbolic Logic. 59, 2, p. 419 25 p.

    Research output: Contribution to journal/periodicalArticleScientificpeer-review

  6. Leisler's Rebellion, 1698-1690: Being Dutch in Albany

    Waterman, MA, K-J. 1994 In : The Maryland Historian. 22, 2, p. 21-40

    Research output: Contribution to journal/periodicalArticleScientificpeer-review

  7. Review of: Wim S.M. Hoogbergen, The Boni Maroon Wars in Suriname (Leiden, 1990)

    Waterman, MA, K-J. 1994 In : The Americas: A Quarterly Review of Inter-American Cultural History. 50, 3, p. 451-452

    Research output: Contribution to journal/periodicalBook/Film/Article reviewScientific

  8. 1993
  9. Dyadic Modalities and Lambek Calculus

    Roorda, D. 1993 Diamonds and Defaults: Studies in Pure and Applied Intensional Logic. de Rijke, M. (ed.). Synthese Library ed. Dordrecht: Springer, Vol. 229, p. 215 253 p.

    Research output: Chapter in book/volumeChapterScientificpeer-review

  10. 1992
  11. Classification of the Netherlands Agency for Research Information

    Beunk, B. 28 Sep 1992 Amsterdam, p. 1-14 14 p.

    Research output: Working paper/discussion paperWorking paper/Discussion paperProfessional

  12. Proof Nets for Lambek Calculus

    Roorda, D. 1992 In : Journal of Logic and Computation. 2, 2, p. 211-231

    Research output: Contribution to journal/periodicalArticleScientificpeer-review

  13. 1991
  14. NBOI-classificatie van de Gemeenschappelijke Databank voor Lopend Onderzoek in Nederland. Ontworpen door het Nederlands Bureau voor Onderzoek Informatie (NBOI).

    Beunk, B. 18 Dec 1991 Amsterdam, p. 1-15 15 p.

    Research output: Working paper/discussion paperWorking paper/Discussion paperProfessional

  15. Resource Logics: Proof-Theoretical Investigations

    Roorda, D. 1991 Amsterdam. 138 p.

    Research output: PhD ThesisPhD thesisScientific

ID: 8586