James T. Sasaki

According to our database¹, James T. Sasaki authored at least 4 papers between 1986 and 1997.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

1997

A Type Theory with Mixed Constructivity and Assignments.

[BibT_eX]

[DOI]

James T. Sasaki

Log. J. IGPL, 1997

1995

Efficient Verified Programs in a Typed Theory with Mixed Constructivity.

[BibT_eX]

[DOI]

James T. Sasaki

J. Log. Comput., 1995

1986

Extracting Efficient Programs From Constructive Proofs.

[BibT_eX]

James T. Sasaki

PhD thesis, 1986

Implementing mathematics with the Nuprl proof development system.

[BibT_eX]

[DOI]

Prentice Hall, ISBN: 978-0-13-451832-9, 1986

James T. Sasaki

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...