Search Results - Constable, Robert L

Refine Results
  1. 1
    Intuitionistic ancestral logic

    Intuitionistic ancestral logic by Cohen, Liron, Constable, Robert L

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    Bar Induction is Compatible with Constructive Type Theory

    Bar Induction is Compatible with Constructive Type Theory by Rahli, Vincent, Bickford, Mark, Cohen, Liron, Constable, Robert L.

    Published in Journal of the ACM
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  3. 3
    Developing Correctly Replicated Databases Using Formal Tools

    Developing Correctly Replicated Databases Using Formal Tools by Schiper, Nicolas, Rahli, Vincent, Van Renesse, Robbert, Bickford, Marck, Constable, Robert L.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    EventML: Specification, verification, and implementation of crash-tolerant state machine replication systems

    EventML: Specification, verification, and implementation of crash-tolerant state machine replication systems by Rahli, Vincent, Guaspari, David, Bickford, Mark, Constable, Robert L.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    On Building Constructive Formal Theories of Computation Noting the Roles of Turing, Church, and Brouwer

    On Building Constructive Formal Theories of Computation Noting the Roles of Turing, Church, and Brouwer by Constable, R. L.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    Metalogical Frameworks II: Developing a Reflected Decision Procedure

    Metalogical Frameworks II: Developing a Reflected Decision Procedure by Aitken, William E, Constable, Robert L, Underwood, Judith L

    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Proofs as programs

    Proofs as programs by Bates, Joseph L., Constable, Robert L.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 8
    A diversified and correct-by-construction broadcast service

    A diversified and correct-by-construction broadcast service by Rahli, V., Schiper, N., Van Renesse, R., Bickford, M., Constable, R. L.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  9. 9
    Extracting Programs from Constructive HOL Proofs via IZF Set-Theoretic Semantics

    Extracting Programs from Constructive HOL Proofs via IZF Set-Theoretic Semantics by Constable, Robert, Moczydlowski, Wojciech

    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    Programs as proofs: a synopsis

    Programs as proofs: a synopsis by Constable, Robert L.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  11. 11
    The Type Theory of PL/CV3

    The Type Theory of PL/CV3 by Constable, Robert L., Zlatin, Daniel R.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  12. 12
    Virtual Evidence: A Constructive Semantics for Classical Logics

    Virtual Evidence: A Constructive Semantics for Classical Logics by Constable, Robert L

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    The Operator Gap

    The Operator Gap by Constable, Robert L.

    Published in Journal of the ACM
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  14. 14
    A Note on Complexity Measures for Inductive Classes in Constructive Type Theory

    A Note on Complexity Measures for Inductive Classes in Constructive Type Theory by Constable, Robert L.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  15. 15
    Formally Generating Adaptive Security Protocols

    Formally Generating Adaptive Security Protocols by Constable, Robert L

    Request full text
    Report
    Save to List
    Saved in:
  16. 16
    On Classes of Program Schemata

    On Classes of Program Schemata by Constable, Robert L., David, Gries

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  17. 17
    Experience using type theory as a foundation for computer science

    Experience using type theory as a foundation for computer science by Constable, R.L.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  18. 18
    Building Interactive Digital Libraries of Formal Algorithmic Knowledge

    Building Interactive Digital Libraries of Formal Algorithmic Knowledge by Constable, Robert L

    Request full text
    Report
    Save to List
    Saved in:
  19. 19
    Building Interactive Digital Libraries of Formal Algorithmic Knowledge

    Building Interactive Digital Libraries of Formal Algorithmic Knowledge by Constable, Robert L

    Request full text
    Report
    Save to List
    Saved in:
  20. 20
    Building Interactive Digital Libraries of Formal Algorithmic Knowledge

    Building Interactive Digital Libraries of Formal Algorithmic Knowledge by Constable, Robert L

    Request full text
    Report
    Save to List
    Saved in:

Search Tools: