Lista de

2002
821
Computer Journal
1
"Pure type systems with de Bruijn indices" (2002) Kamareddine, F.; Ríos, A. Computer Journal. 45(2):187-201