Onderzoeksoutput per jaar
Onderzoeksoutput per jaar
Netwerk
Recente externe samenwerking op landen-/regioniveau. Duik in de details door op de stippen te klikken of
Onderzoeksoutput
- 3 Conference contribution
-
Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes
Paulus, J. W. N., Nantes-Sobrinho, D. & Pérez, J. A., 4-aug.-2022, 27th International Conference on Types for Proofs and Programs (TYPES 2021). Basold, H., Cockx, J. & Ghilezan, S. (redactie). Schloss Dagstuhl--Leibniz-Zentrum für Informatik, blz. 11.1-11.24 24 blz. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 239).Onderzoeksoutput › Academic › peer review
Open AccessBestand1 Downloads (Pure) -
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. (redactie). Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum für Informatik, blz. 24:1-24:24 24 blz. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 183).Onderzoeksoutput › Academic › peer review
Open AccessBestand1 Citaat (Scopus)12 Downloads (Pure) -
Non-Deterministic Functions as Non-Deterministic Processes
Paulus, J. W. N., Nantes-Sobrinho, D. & Pérez, J. A., 6-jul.-2021, 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021). Kobayashi, N. (redactie). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 22 blz. 21Onderzoeksoutput › Academic › peer review
Open AccessBestand1 Citaat (Scopus)6 Downloads (Pure)