Felice Cardone
From MaRDI portal
Person:756434
Available identifiers
zbMath Open cardone.feliceMaRDI QIDQ756434
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| 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. Outline of a vision from the work of Petri and Holt | 2015-10-20 | Paper |
| The geometry and algebra of commitment | 2011-03-04 | Paper |
| Decidability properties of recursive types. | 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 |
This page was built for person: Felice Cardone
