Samir Farkh
From MaRDI portal
Person:2773018
Available identifiers
zbMath Open farkh.samirMaRDI QIDQ2773018
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Complete Types in an Extension of the System AF2 | 2009-11-30 | Paper |
| Les types de données syntaxiques du système ${\cal F}$ | 2002-04-29 | Paper |
| Un résultat de complétude pour les types ∀+ du système F | 1999-01-24 | Paper |
| Résultats de complétude pour des classes de types du système $\mathcal {AF}2$ | 1998-05-24 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: Samir Farkh
