CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 72
Titolo Data di pubblicazione Autore(i) File
Must preorder in non-deterministic untyped lambda calculus 1992 Ugo de'Liguoro; Adolfo Piperno
Retracts in simply typed λ-βη calculus 1992 Ugo de' Liguoro; Adolfo Piperno; Rick Statman
Filter Models for Parallel and Non-deterministic Lambda-Calculus 1993 M.Dezani; U. de' Liguoro; A.Piperno
Must and May Convergency in Concurrent Lambda-calculus 1994 F. Alessi; M.Dezani; U. de' Liguoro
Fully Abstract Semantics for Concurrent Lambda-calculus 1994 M. Dezani-Ciancaglini;U. de Liguoro;A. Piperno
Combining Type Disciplines 1994 F. Cardone;M. Dezani-Ciancaglini;U. de' Liguoro
Intersection and Union Types: Syntax and Semantics 1995 F. Barbanera;M. Dezani-Ciancaglini;U. de' Liguoro
Nondeterministic Extensions of Untyped λ-Calculus 1995 Ugo de' Liguoro; Adolfo Piperno
Filter Models for Conjunctive-Disjunctive Lambda-calculus 1996 M. DEZANI; DE'LIGUORO U.; PIPERNO A.
A Convex Powerdomain over Lattices: its Logic and λ-Calculus 1997 Fabio Alessi; Mariangiola Dezani-Ciancaglini; Ugo de' Liguoro
Intersection Types, Lambda-models and Böhm Trees. 1998 DEZANI-CIANCAGLINI M.; GIOVANNETTI E.; DE' LIGUORO U.
A Filter Model for Concurrent Lambda-calculi 1998 M. DEZANI; DE'LIGUORO U.; PIPERNO A.
Total functionals and well-founded strategies 1999 STEFANO BERARDI; U. DE' LIGUORO
Teoria della Dimostrazione e lambda-Calcolo 2001 U. de' Liguoro; S. Ronchi della Rocca
Characterizing convergent terms in object calculi via intersection types 2001 U. DE' LIGUORO
Logical Semantics for the First Order Sigma-Calculus 2003 Steffen van Bakel ; Ugo de' Liguoro
Subtyping in logical form 2003 U. DE' LIGUORO
Type Assignment for Mobile Objects 2004 F. BARBANERA; U. DE' LIGUORO
Subtyping object and recursive types logically 2005 VAN BAKEL STEFFEN; U. DE' LIGUORO
Calculi, types and applications: Essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi Della Rocca 2008 Stefano Berardi; Ugo de' Liguoro
Mostrati risultati da 1 a 20 di 72
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