Up-to techniques are used to make it easier—or feasible—to construct, for instance, proofs of bisimilarity. This text shows how many up-to techniques can be framed as size-preserving functions, using sized types to keep track of sizes. Through a number ...
Up-to techniques are used to make it easier—or feasible—to construct, for instance, proofs of bisimilarity. This text shows how many up-to techniques can be framed as size-preserving functions, using sized types to keep track of sizes. Through a number ...
Linköping University Electronic Press, Electronic Press, Electronic publishing, Institutional Repository, Electronic Press, preprints, articles, monographs, journals, student theses, licentiate theses, doctoral theses, thesis, theses, electronic thesis, electronic theses, dissertations, reports, conference, ETAI, Hygiea, Artificial Intelligence, Science, Computer Science, Health Science, Arts and Science, Technology
nope