Felice Cardone

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 Lecture Notes in Computer Science	2023-12-12	Paper
Tiered objects Fundamenta Informaticae	2017-11-09	Paper
Continuity in semantic theories of programming History and Philosophy of Logic	2017-02-22	Paper
Computers and the mechanics of communication. Outline of a vision from the work of Petri and Holt Evolving Computability	2015-10-20	Paper
The geometry and algebra of commitment Ludics, Dialogue and Interaction	2011-03-04	Paper
Decidability properties of recursive types. Lecture Notes in Computer Science	2010-02-23	Paper
A coinductive completeness proof for the equivalence of recursive types Theoretical Computer Science	2002-07-31	Paper
Universal homogeneous graph-like structures and domains Mathematical Structures in Computer Science	2002-01-01	Paper
scientific article; zbMATH DE number 761284 (Why is no real title available?)	1995-07-03	Paper
Combining type disciplines Annals of Pure and Applied Logic	1995-06-07	Paper
scientific article; zbMATH DE number 554483 (Why is no real title available?)	1994-04-19	Paper
Recursive types for Fun Theoretical Computer Science	1992-06-25	Paper
Type inference with recursive types: Syntax and semantics Information and Computation	1991-01-01	Paper

Research outcomes over time

This page was built for person: Felice Cardone