CARDONE, Felice
CARDONE, Felice
INFORMATICA
A coinductive completeness proof for the equivalence of recursive types
2002-01-01 F. CARDONE
A(S)CFG generator
2011-01-01 E. Sciacca; S. Spinella; P. Giannini; F. Cardone
An Algebraic Approach to the Interpretation of Recursive Types
1992-01-01 Cardone F.
An Organisational Theory of Information
2000-01-01 Holt A. W.; Cardone F.
Book review: BENJAMIN C. PIERCE (ED.) • Advanced Topics in Types and Programming Languages. The MIT Press (2005)
2006-01-01 Felice Cardone
Combining Type Disciplines
1994-01-01 F. Cardone;M. Dezani-Ciancaglini;U. de' Liguoro
Computers and the Mechanics of Communication
2015-01-01 Cardone, Felice
Computers as communication machines Highlights of a forgotten program
2013-01-01 Felice Cardone
Concurrency, communication and computation. A position paper
2009-01-01 Bernardinello L; Cardone F; Pomello Chinaglia L
Concurrent automata, prime event structures and universal domains
1993-01-01 Boldi P.; Cardone F.; Sabadini N.
Continuity in Semantic Theories of Programming
2015-01-01 Cardone, Felice
Corrado Mangione, le categorie, la logica
2011-01-01 Felice Cardone
Dai palazzi della memoria al calcolo parallelo (una visita guidata)
2022-01-01 Felice Cardone
Decidability Properties of Recursive Types
2003-01-01 CARDONE F.; M. COPPO
Decidability Properties of Recursive Types
2003-01-01 Felice Cardone; Mario Coppo
Dimostrare come riconoscere
2021-01-01 Felice Cardone
From Curry to Haskell: Paths to Abstraction in Programming Languages
2020-01-01 Cardone F.
Games, Full Abstraction and Full Completeness
2017-01-01 Felice, Cardone
Lambda-Calculus and Combinators in the 20th Century
2009-01-01 Felice Cardone; J. Roger Hindley
Le direzioni della ricerca logica in Italia: Logica e Informatica
2015-01-01 Cardone, Felice