@inproceedings{09bf8bc5b16f4ebaacce6b607856d0b7,
title = "An interaction net encoding of G{\"o}del{\textquoteright}s System T declarative pearl",
abstract = "The graph rewriting system of interaction nets has been very successful for the implementation of the lambda calculus. In this paper we show how the ideas can be extended and simplified to encode G{\"o}del{\textquoteright}s System T {\textemdash}the simply typed λ-calculus extended with numbers. Surprisingly, using some results about System T, we obtain a very simple system of interaction nets that is significantly more efficient than a direct encoding for the evaluation of programs.",
author = "Ian Mackie and Shinya Sato",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2016.; 13th International Symposium on Functional and Logic Programming, FLOPS 2016 ; Conference date: 04-03-2016 Through 06-03-2016",
year = "2016",
month = jan,
day = "1",
doi = "10.1007/978-3-319-29604-3\_6",
language = "English",
isbn = "9783319296036",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "80--93",
editor = "Oleg Kiselyov and Andy King",
booktitle = "Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Proceedings",
}