6 results on '"Moss, Lawrence S"'
Search Results
2. Recursion and corecursion have the same equational logic
3. Parametric corecursion
4. Corrigendum to: “The category theoretic solution of recursive program schemes” [Theoret. Comput. Sci. 366 (2006) 3–59]
5. Modal logic and algebraic specifications
6. Final algebras, cosemicomputable algebras and degrees of unsolvability
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.