From Set-theoretic Coinduction to Coinduction: some results, some problems (1999)
by
Marina Lenisa
BibTeX
@MISC{Lenisa99fromset-theoretic,
author = {Marina Lenisa},
title = {From Set-theoretic Coinduction to Coinduction: some results, some problems},
year = {1999}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
