@book{0000395,
  title = {Intuitionistic type theory},
  author = {Per Martin-Löf},
  year = {1984},
  researchr = {https://researchr.org/publication/0000395},
  cites = {0},
  citedby = {0},
  volume = {1},
  series = {Studies in proof theory},
  publisher = {Bibliopolis},
  isbn = {978-88-7088-228-5},
}