1. 1992
  2. 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

  3. 1991
  4. 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

  5. Resource Logics: Proof-Theoretical Investigations

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

    Research output: PhD ThesisPhD thesisScientific

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

Previous 1...38 39 40 41 42 Next

ID: 8586