Travelled to:1 × Canada
1 × United Kingdom
Collaborated with:∅
Talks about:system (2) complet (1) reduct (1) infin (1) equal (1) type (1) data (1)
Person: Christophe Raffalli
DBLP: Raffalli:Christophe
Contributed to:
2003
1993Wrote 2 papers:
- LICS-2003-Raffalli
- System ST β-reduction and completeness (CR), p. 21–?.
- CSL-1993-Raffalli #data type #infinity #similarity
- Data Types, Infinity and Equality in System AF2 (CR), pp. 280–294.