"Constable, Robert L." / Journal: lecture notes in computer science / Publisher: springer berlin heidelberg - 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 4 results

Start Over "Constable, Robert L." Journal lecture notes in computer science Publisher springer berlin heidelberg

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

1. Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language

Author: Cohen, Liron, primary and Constable, Robert L., additional
Published: 2015
Full Text: View/download PDF

2. The Nuprl Open Logical Environment

Author: Allen, Stuart F., primary, Constable, Robert L., additional, Eaton, Rich, additional, Kreitz, Christoph, additional, and Lorigo, Lori, additional
Published: 2000
Full Text: View/download PDF

3. Exporting and reflecting abstract metamathematics

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

4. Comstructive matnkmatics as a programming logic I: Some principles of theory

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

Catalog

Books, media, physical & digital resources

See catalog results