An Interaction Net Encoding of Gödel’s System $$\mathcal {T}$$

Functional and Logic Programming - Lecture Notes in Computer Science ◽

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

2016 ◽

pp. 80-93

Author(s):

Ian Mackie ◽

Shinya Sato

Download Full-text