Author: "Constable, Robert L." / Publisher: association for computing machinery (acm) - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Constable, Robert L."' showing total 7 results

Start Over Author "Constable, Robert L." Publisher association for computing machinery (acm)

7 results on '"Constable, Robert L."'

1. Bar Induction is Compatible with Constructive Type Theory

Author: Rahli, Vincent, primary, Bickford, Mark, additional, Cohen, Liron, additional, and Constable, Robert L., additional
Published: 2019
Full Text: View/download PDF

2. Proofs as programs

Author: Bates, Joseph L., primary and Constable, Robert L., additional
Published: 1985
Full Text: View/download PDF

3. The Type Theory of PL/CV3

Author: Constable, Robert L., primary and Zlatin, Daniel R., additional
Published: 1984
Full Text: View/download PDF

4. A Hierarchical Approach to Formal Semantics With Application to the Definition of PL/ CS

Author: Constable, Robert L., primary and Donahue, James E., additional
Published: 1979
Full Text: View/download PDF

5. VERking in constructive set theory

Author: Constable, Robert L., primary
Published: 1981
Full Text: View/download PDF

6. The Operator Gap

Author: Constable, Robert L., primary
Published: 1972
Full Text: View/download PDF

7. Subrecursive Programming Languages, Part I

Author: Constable, Robert L., primary and Borodin, Allan B., additional
Published: 1972
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results