Auteurs
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (PascalFrancis)

Index « Auteurs » - entrée « Luigi Liquori »
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.
Ludovic Tobin < Luigi Liquori < Luigi Paduano  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 5.
Ident.Authors (with country if any)Title
000574 (2004) Horatiu Cirstea [France] ; Luigi Liquori [France] ; Benjamin Wack [France]Rewriting calculus with fixpoints: Untyped and first-order systems
000679 (2003) Gilles Barthe [États-Unis, France] ; Horatiu Cirstea ; Claude Kirchner ; Luigi LiquoriPure patterns Type systems
000696 (2003) Alberto Ciaffaglione [Italie] ; Luigi Liquori [France] ; Marino Miculan [Italie]Imperative object-based calculi in co-inductive type theories
000877 (2001) Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France]The Rho cube
000900 (2001) Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France]Matching power

List of associated FC03.fr.i

Nombre de
documents		Descripteur
3Concordance forme
3Lambda calcul
3Orienté objet
3Réécriture
3Théorie type
2Rho calcul
2Système réécriture
1Abstraction
1Calcul Rho
1Calcul construction
1Déduction
1Démonstration théorème
1Effet inducteur
1Implémentation
1Isomorphisme
1Langage programmation
1Langage typé
1Logique formelle
1Métalangage
1Non déterminisme
1Point fixe
1Preuve programme
1Programmation logique
1Programmation logique avec contrainte
1Reconnaissance forme
1Syntaxe
1Système algébrique
1Sémantique
1Sémantique opérationnelle
1Typage

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/Author.i -k "Luigi Liquori" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/Author.i  \
                -Sk "Luigi Liquori" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Author.i
   |clé=    Luigi Liquori
}}
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