Sequent Calculus and Equational Programming
-
Published:2015-07-27
Issue:
Volume:185
Page:102-109
-
ISSN:2075-2180
-
Container-title:Electronic Proceedings in Theoretical Computer Science
-
language:en
-
Short-container-title:Electron. Proc. Theor. Comput. Sci.
Author:
Guenot Nicolas1,
Gustafsson Daniel1
Affiliation:
1. IT University of Copenhagen
Publisher
Open Publishing Association