Felice Cardone
From MaRDI portal
Person:756434
Available identifiers
zbMath Open cardone.feliceMaRDI QIDQ756434
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Strict finitism and feasibility | 2023-12-12 | Paper |
| Tiered Objects | 2017-11-09 | Paper |
| Continuity in Semantic Theories of Programming | 2017-02-22 | Paper |
| Computers and the Mechanics of Communication | 2015-10-20 | Paper |
| The Geometry and Algebra of Commitment | 2011-03-04 | Paper |
| Theoretical Computer Science | 2010-02-23 | Paper |
| A coinductive completeness proof for the equivalence of recursive types | 2002-07-31 | Paper |
| Universal homogeneous graph-like structures and domains | 2002-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4835619 | 1995-07-03 | Paper |
| Combining type disciplines | 1995-06-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4288285 | 1994-04-19 | Paper |
| Recursive types for Fun | 1992-06-25 | Paper |
| Type inference with recursive types: Syntax and semantics | 1991-01-01 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: Felice Cardone
