%0 Journal Article
%T Pure Type Systems with de Bruijn Indices
%A Fairouz Kamareddine, Alejandro Ríos
%J The Computer Journal
%V 45
%N 2
%@ 0010-4620
%D 2002-01-01
%I Oxford University Press
%~ DeepDyve