Proofs and Programs - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Giuseppe Longo. Proofs and Programs. Synthese, 134(1-2):85-117, 2003. [doi]

@article{Longo03-0,
  title = {Proofs and Programs},
  author = {Giuseppe Longo},
  year = {2003},
  doi = {10.1023/A:1022135614184},
  url = {http://dx.doi.org/10.1023/A:1022135614184},
  researchr = {https://researchr.org/publication/Longo03-0},
  cites = {0},
  citedby = {0},
  journal = {Synthese},
  volume = {134},
  number = {1-2},
  pages = {85-117},
}

runs on WebDSL