No photo of Joe Paulus

Joe Paulus, M

  • Nijenborgh9

    9747 AG Groningen

    Netherlands

If you made any changes in Pure these will be visible here soon.
  • A Deep Quantitative Type System

    Guerrieri, G., Heijltjes, W. B. & Paulus, J. W. N., 2021, 29th EACSL Annual Conference on Computer Science Logic (CSL 2021). Baier, C. & Goubault-Larrecq, J. (eds.). Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum für Informatik, p. 24:1-24:24 24 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 183).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    2 Downloads (Pure)
If you made any changes in Pure these will be visible here soon.