10 results on '"Constable, Robert L."'
Search Results
2. A Note on Complexity Measures for Inductive Classes in Constructive Type Theory
3. Computability concepts for programming language semantics
4. Computational foundations of basic recursive function theory
5. Programs as proofs: a synopsis
6. Constructive Mathematics as a Programming Logic I: Some Principles of Theory
7. Chapter X Types in logic, mathematics and programming
8. The Role of Finite Automata in the Development of Modern Computing Theory*
9. Subrecursive programming languages II on program size
10. Special SIGACT issue: Sixth Annual ACM Symposium on Theory of Computing
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.