|
СТ |
On Functions and Types: A Tutorial |
2002 |
Kamareddine F. |
|
|
|
Lecture Notes in Computer Science |
04.12.2002 |
|
СТ |
Pure Type Systems with de Bruijn Indices |
2002 |
Kamareddine F., Rios A. |
|
|
|
The Computer J. |
07.05.2002 |
|
СТ |
On Formalised Proofs of Termination of Recursive Functions |
1999 |
Kamareddine F., Monin F. |
|
|
|
Lecture Notes in Computer Science |
27.10.1999 |
|
СТ |
A Lambda-calculus a la de Bruijn with explicit substitutions |
1995 |
Kamareddine F., Rios A. |
Lecture Notes in Computer Science |
|
|
Programming Languages: Implementations, Logics and Programs |
16.11.1995 |
