70 results on '"Constable, Robert L."'
Search Results
2. Building Mathematics-Based Software Systems to Advance Science and Create Knowledge
3. MetaPRL – A Modular Logical Environment
4. The Nuprl Open Logical Environment
5. Formalizing Decidability Theorems About Automata
6. The Structure of Nuprl’s Type Theory
7. Using Reflection to Explain and Enhance Type Theory
8. Expressing computational complexity in constructive type theory
9. Lectures on:Classical Proofs as Programs
10. Metalevel Programming in Constructive Type Theory
11. Formal theories and software systems: Fundamental connections between Computer Science and Logic
12. Reflecting the Open-Ended Computation System of Constructive Type Theory
13. Type theory as a foundation for computer science
14. Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language
15. The Nuprl Open Logical Environment
16. ML programming in constructive type theory
17. Exporting and reflecting abstract metamathematics
18. Exporting and reflecting abstract metamathematics
19. Assigning Meaning to Proofs: a semantic basis for problem solving environments
20. Partial functions in comstructive formal theories
21. The type theory of PL/CV3
22. Comstructive matnkmatics as a programming logic I: Some principles of theory
23. Comstructive matnkmatics as a programming logic I: Some principles of theory
24. Formal theories and software systems: Fundamental connections between Computer Science and Logic
25. Dexter Kozen’s Influence on the Theory of Labelled Markov Processes
26. Overloading Is NP-Complete : A Tutorial Dedicated to Dexter Kozen
27. Travelling with Dexter Kozen
28. Timesharing Dexter
29. Inferring Evolutionary Scenarios in the Duplication, Loss and Horizontal Gene Transfer Model
30. On Topological Completeness of Regular Tree Languages
31. Nuprl as Logical Framework for Automating Proofs in Category Theory
32. A Complete Logical System for the Equality of Recursive Terms for Sets
33. Reflections on a \m Time with Dexter Kozen
34. The Compass That Steered Robotics
35. Subtyping for F-Bounded Quantifiers and Equirecursive Types
36. Capsules and Closures: A Small-Step Approach
37. Brzozowski’s Algorithm (Co)Algebraically
38. Residuated Kleene Algebras
39. Meditations on Quantified Constraint Satisfaction
40. Experimental Descriptive Complexity
41. The Complexity of Inhabitation with Explicit Intersection
42. On Distance Coloring : A Review Based on Work with Dexter Kozen
43. Combining Epistemic Logic and Hennessy-Milner Logic
44. On State Sequences Defined by Reaction Systems
45. Winning, Losing and Drawing in Concurrent Games with Perfect or Imperfect Information
46. Choice and Uncertainty in Games
47. On the Final Coalgebra of Automatic Sequences
48. An Appreciation of Dexter Kozen
49. Dexter as a PhD Advisor
50. Rock’n’Roll Computer Science
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.