Types that Count: a Journey across Qualitative and Quantitative Intersection Type Disciplines

Cardone, Felice; Paolini, Luca Luigi; Pautasso, Daniele

Back to search

Università degli Studi di Torino

Types that Count: a Journey across Qualitative and Quantitative Intersection Type Disciplines

dc:creator Cardone, Felice; Paolini, Luca Luigi; Pautasso, Daniele

dc:date2025

Degree

thesis:*

Grantor dc:publisher: Università degli Studi di Torino
Year dc:date: 2025

Author and committee

dc:creator, dc:contributor.*

Authors dc:creator: Cardone, Felice
Paolini, Luca Luigi
Pautasso, Daniele

Subjects

dc:subject × 1

Settore INF/01 - Informatica

Rights

dc:rights

Statement dc:rights: info:eu-repo/semantics/openAccess
Language dc:language: eng

Identifiers

dc:identifier.*

Handle dc:identifier: https://hdl.handle.net/2318/2095540
OAI identifier oai:identifier: oai:iris.unito.it:2318/2095540

Chain of custody

source

Harvested from: Università di Torino
Base URL: iris.unito.it/oai/driver
Last updated: 2026-07-24
Source record: OAI-PMH GetRecord

related terms

citation

Cardone, Felice; Paolini, Luca Luigi; Pautasso, Daniele. Types that Count: a Journey across Qualitative and Quantitative Intersection Type Disciplines. Università degli Studi di Torino, 2025. https://hdl.handle.net/2318/2095540

Types that Count: a Journey across Qualitative and Quantitative Intersection Type Disciplines

Degree

Author and committee

Subjects

Rights

Identifiers

Chain of custody

More from Università di Torino