Expansion Postponement for Normalising Pure Type Systems

@article{Poll1998ExpansionPF,
  title={Expansion Postponement for Normalising Pure Type Systems},
  author={Erik Poll},
  journal={J. Funct. Program.},
  year={1998},
  volume={8},
  pages={89-96}
}
  • Erik Poll
  • Published 1998 in J. Funct. Program.