Michael Mehlich. Implementation of combinator specifications: notions and proving techniques. PhD thesis, Ludwig Maximilian University of Munich, Germany, 1996. [doi]
@phdthesis{dnb-13893,
title = {Implementation of combinator specifications: notions and proving techniques},
author = {Michael Mehlich},
year = {1996},
url = {http://d-nb.info/946947791},
researchr = {https://researchr.org/publication/dnb-13893},
cites = {0},
citedby = {0},
school = {Ludwig Maximilian University of Munich, Germany},
}