The Curry-Howard Correspondence in Set Theory - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Jean-Louis Krivine. The Curry-Howard Correspondence in Set Theory. In LICS. pages 307-308, 2000. [doi]

@inproceedings{Krivine00,
  title = {The Curry-Howard Correspondence in Set Theory},
  author = {Jean-Louis Krivine},
  year = {2000},
  url = {http://www.computer.org/proceedings/lics/0725/07250307abs.htm},
  researchr = {https://researchr.org/publication/Krivine00},
  cites = {0},
  citedby = {0},
  pages = {307-308},
  booktitle = {LICS},
}

runs on WebDSL