Proof Relevant Corecursive Resolution

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-319-29604-3_9 ◽

2016 ◽

pp. 126-143 ◽

Author(s):

Peng Fu ◽

Ekaterina Komendantskaya ◽

Tom Schrijvers ◽

Andrew Pond

Download Full-text