timfi
Joined 6 years ago
Karma
36
Submissions
32
Member since
Oct 4
Joined 6 years ago
[0] https://gist.github.com/6bab3480ab439f0e98f18d88750d3b38
[0]: https://apfel-db.informatik.uni-tuebingen.de [1]: https://db.inf.uni-tuebingen.de/publications/2022/Hirn-grust...
EDIT: Oh and also contains the reduction rules ofcourse! Though the book assumes you now how to read inference rules. ;)
EDIT: I just found an official PDF source: http://basics.sjtu.edu.cn/~xiaojuan/tapl2016/files/Types+and...