CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 34
Titolo Data di pubblicazione Autore(i) File
Relational Semantics for Recursive Types and BoundedQuantification 1989 Cardone F.
Two extensions of Curry's type inference system 1990 CARDONE F; M. COPPO
Type Inference with Recursive Types: Syntax and Semantics 1991 CARDONE F; M. COPPO
Recursive Types for Fun 1991 Cardone F.
An Algebraic Approach to the Interpretation of Recursive Types 1992 Cardone F.
Concurrent automata, prime event structures and universal domains 1993 Boldi P.; Cardone F.; Sabadini N.
Combining Type Disciplines 1994 F. Cardone;M. Dezani-Ciancaglini;U. de' Liguoro
Strict Finitism and Feasibility 1995 Cardone F.
An Organisational Theory of Information 2000 Holt A. W.; Cardone F.
A coinductive completeness proof for the equivalence of recursive types 2002 F. CARDONE
Universal homogeneous graph-like structures and domains 2002 BOLDI P; F. CARDONE; DROSTE M
Decidability Properties of Recursive Types 2003 CARDONE F.; M. COPPO
Decidability Properties of Recursive Types 2003 Felice Cardone; Mario Coppo
Book review: BENJAMIN C. PIERCE (ED.) • Advanced Topics in Types and Programming Languages. The MIT Press (2005) 2006 Felice Cardone
Concurrency, communication and computation. A position paper 2009 Bernardinello L; Cardone F; Pomello Chinaglia L
Lambda-Calculus and Combinators in the 20th Century 2009 Felice Cardone; J. Roger Hindley
Corrado Mangione, le categorie, la logica 2011 Felice Cardone
A(S)CFG generator 2011 E. Sciacca; S. Spinella; P. Giannini; F. Cardone
The Geometry and Algebra of Commitment 2011 Felice Cardone
Review of: Bimbo', Katalin Combinatory logic. Pure, applied and typed. Discrete Mathematics and its Applications (Boca Raton). CRC Press, Boca Raton, FL, 2012. xii+345 pp. ISBN 978-1-4398-0000-3 2012 F. Cardone
Mostrati risultati da 1 a 20 di 34
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile