Jan Willem Klop. Combinatory reduction systems. PhD thesis, Univ. Utrecht, 1980.
@phdthesis{books-daglib-0016510,
title = {Combinatory reduction systems},
author = {Jan Willem Klop},
year = {1980},
researchr = {https://researchr.org/publication/books-daglib-0016510},
cites = {0},
citedby = {0},
school = {Univ. Utrecht},
}