On Exploiting the Structure of Martin-Löf s Theory of Types - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Andrew Ireland. On Exploiting the Structure of Martin-Löf s Theory of Types. Comput. J., 36(4):387-298, 1993.

@article{Ireland93,
  title = {On Exploiting the Structure of Martin-Löf s Theory of Types},
  author = {Andrew Ireland},
  year = {1993},
  tags = {type theory},
  researchr = {https://researchr.org/publication/Ireland93},
  cites = {0},
  citedby = {0},
  journal = {Comput. J.},
  volume = {36},
  number = {4},
  pages = {387},
}

runs on WebDSL