Pays
Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Eléments de l'association

Italie288
Luigi Liquori38
Italie Sauf Luigi Liquori" 285
Luigi Liquori Sauf Italie" 35
Italie Et Luigi Liquori 3
Italie Ou Luigi Liquori 323
Corpus24195
\n\n\n\n \n

List of bibliographic references

Number of relevant bibliographic references: 3.
Ident.Authors (with country if any)Title
005827 Luigi Liquori [France] ; Furio Honsell [Italie] ; Marina Lenisa [Italie]A Framework for Defining Logical Frameworks
007A52 Alberto Ciaffaglione [Italie] ; Luigi Liquori [France] ; Marino Miculan [Italie]Imperative Object-Based Calculi in Co-inductive Type Theories
00A309 Viviana Bono [Italie] ; Michele Bugliesi [Italie] ; Mariangiola Dezani-Ciancaglini [Italie] ; Luigi Liquori [France]A Subtyping for Extensible, Incomplete Objects
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022