Travelled to:1 × France
1 × Japan
Collaborated with:R.David
Talks about:calculus (2) arithmet (2) strong (2) normal (2) proof (2) symmetr (1) result (1) recurs (1) equat (1) type (1)
Person: Karim Nour
DBLP: Nour:Karim
Contributed to:
20072005Wrote 2 papers:
- TLCA-2007-DavidN #calculus #equation #normalisation #proving #recursion
- An Arithmetical Proof of the Strong Normalization for the λ -Calculus with Recursive Equations on Types (RD, KN), pp. 84–101.
- TLCA-2005-DavidN #normalisation #proving #symmetry #λ-calculus #μ-calculus
- Arithmetical Proofs of Strong Normalization Results for the Symmetric λμ-Calculus (RD, KN), pp. 162–178.