Curry-Howard Correspondence for Gödel Logic: from Natural Deduction to Parallel Computation

Francesco A. Genco
Francesco A. Genco

arXiv: Logic in Computer Science, Volume abs/1607.05120, 2016.

Cited by: 1|Bibtex|Views0|Links
EI

Code:

Data:

Your rating :
0

 

Tags
Comments