Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

R. L. Constable | lit.salon

Author

R. L. Constable

5 works

1978–2012 across 5 dated works

No biography is available yet.

Start with

A programming logic: with an introduction to the PL/CV verifier1978
An introduction to the PL/CV2 programming logic1982
An Introduction to the PL/CV2 Programming Logic (Lecture Notes in Computer Science)1982
With S. D. Johnson, C. D. Eichenlaub
Implementing mathematics with the Nuprl proof development system1986

Books

5 works

Featured (5)Featured (5)All (5)All (5)

Search booksSort books

A programming logic: with an introduction to the PL/CV verifier1978
1 edition
shelves
0
reviews
0
lists
0
quotes
0
An introduction to the PL/CV2 programming logic1982
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday2012
1 edition
shelves
0
reviews
0
lists
0
quotes
0
An Introduction to the PL/CV2 Programming Logic (Lecture Notes in Computer Science)1982
With S. D. Johnson, C. D. Eichenlaub
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Implementing mathematics with the Nuprl proof development system1986
2 editions
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around R. L. Constable.

The conversation is still open.

There is no public salon activity to show for R. L. Constable yet.