Termination Proofs for a Lazy Functional Language by Abstract Reduction (1996)
by
Sven Eric Panitz
| Citations: | 2 - 0 self |
BibTeX
@MISC{Panitz96terminationproofs,
author = {Sven Eric Panitz},
title = {Termination Proofs for a Lazy Functional Language by Abstract Reduction},
year = {1996}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
