1. 1990
  2. Elementary inductive definitions in HA: from strictly positive towards monotone

    Roorda, D., 1990, In : Indagationes Mathematicae. 11, p. 105 9 p.

    Research output: Contribution to journal/periodicalArticleScientificpeer-review

  3. 1991
  4. Resource Logics: Proof-Theoretical Investigations

    Roorda, D., 1991, Amsterdam. 138 p.

    Research output: PhD ThesisPhD thesisScientific

  5. 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

  6. 1992
  7. 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

  8. 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

  9. 1993
  10. 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

  11. 1994
  12. 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

  13. 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

  14. 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

  15. 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

Previous 1 2 3 4 5 6 7 8 ...42 Next

ID: 8586