Matches in DBpedia 2016-04 for { <http://www.cs.nott.ac.uk/~gmh/bib.html#corecursion> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- corecursion author "Jeremy Gibbons and Graham Hutton".
- corecursion date "April 2005".
- corecursion isCitedBy Corecursion.
- corecursion issue "4".
- corecursion journal "Fundamenta Informaticae Special Issue on Program Transformation".
- corecursion pages "353–366".
- corecursion title "Proof methods for corecursive programs".
- corecursion url corecursion.
- corecursion volume "66".