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:
Wrote 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.