Curry-Howard Correspondence for Gödel Logic: from Natural Deduction to Parallel Computation (bibtex)
by Federico Aschieri, Agata Ciabattoni, Francesco A. Genco
Reference:
Curry-Howard Correspondence for Gödel Logic: from Natural Deduction to Parallel ComputationFederico Aschieri, Agata Ciabattoni, Francesco A. GencoCoRR, volume abs/1607.05120, 2016.Note: Published in the proceedings of the Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, 20–23 June 2017, Reykjavik
Bibtex Entry:
@article{DBLP:journals/corr/AschieriCG16,
  author    = {Federico Aschieri and
               Agata Ciabattoni and
               Francesco A. Genco},
  title     = {Curry-Howard Correspondence for G{\"{o}}del Logic: from Natural
               Deduction to Parallel Computation},
  journal   = {CoRR},
  volume    = {abs/1607.05120},
  year      = {2016},
  url       = {http://arxiv.org/abs/1607.05120},
  timestamp = {Tue, 02 Aug 2016 12:59:27 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/AschieriCG16},
  note = {Published in the proceedings of the Thirty-Second Annual
          ACM/IEEE Symposium on Logic in Computer Science, {LICS}
          2017, 20--23 June 2017, Reykjavik},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
Powered by bibtexbrowser