@Inproceedings{EPTCS185.7, author = {Guenot, Nicolas and Gustafsson, Daniel}, year = {2015}, title = {Sequent Calculus and Equational Programming}, editor = {Cervesato, Iliano and Chaudhuri, Kaustuv}, booktitle = {{\rm Proceedings Tenth International Workshop on} Logical Frameworks and Meta Languages: Theory and Practice, {\rm Berlin, Germany, 1 August 2015}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {185}, publisher = {Open Publishing Association}, pages = {102-109}, doi = {10.4204/EPTCS.185.7}, }