%0 Journal Article %1 journals/flap/PaleoR17 %A Paleo, Bruno Woltzenlogel %A Reis, Giselle %D 2017 %J FLAP %K dblp %N 2 %T Epsilon Terms in Intuitionistic Sequent Calculus. %U http://dblp.uni-trier.de/db/journals/flap/flap4.html#PaleoR17 %V 4

@article{journals/flap/PaleoR17, added-at = {2020-03-12T00:00:00.000+0100}, author = {Paleo, Bruno Woltzenlogel and Reis, Giselle}, biburl = {https://www.bibsonomy.org/bibtex/2674cf4e1a678d0c515f0ce8fddb49e4e/dblp}, ee = {http://www.collegepublications.co.uk/downloads/ifcolog00011.pdf}, interhash = {1f69556932393651a0906a0ea78b38f5}, intrahash = {674cf4e1a678d0c515f0ce8fddb49e4e}, journal = {FLAP}, keywords = {dblp}, number = 2, timestamp = {2020-03-13T11:48:02.000+0100}, title = {Epsilon Terms in Intuitionistic Sequent Calculus.}, url = {http://dblp.uni-trier.de/db/journals/flap/flap4.html#PaleoR17}, volume = 4, year = 2017 }