BibTeX records: James T. Sasaki

• > Home > Persons > James T. Sasaki

@article{DBLP:journals/igpl/Sasaki97,
  author       = {James T. Sasaki},
  title        = {A Type Theory with Mixed Constructivity and Assignments},
  journal      = {Log. J. {IGPL}},
  volume       = {5},
  number       = {3},
  pages        = {1--37},
  year         = {1997},
  url          = {https://doi.org/10.1093/jigpal/5.3.1-d},
  doi          = {10.1093/JIGPAL/5.3.1-D},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/Sasaki97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/logcom/Sasaki95,
  author       = {James T. Sasaki},
  title        = {Efficient Verified Programs in a Typed Theory with Mixed Constructivity},
  journal      = {J. Log. Comput.},
  volume       = {5},
  number       = {5},
  pages        = {669--689},
  year         = {1995},
  url          = {https://doi.org/10.1093/logcom/5.5.669},
  doi          = {10.1093/LOGCOM/5.5.669},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/Sasaki95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:books/daglib/0068834,
  author       = {Robert L. Constable and
                  Stuart F. Allen and
                  Mark Bromley and
                  Rance Cleaveland and
                  J. F. Cremer and
                  Robert Harper and
                  Douglas J. Howe and
                  Todd B. Knoblock and
                  Nax Paul Mendler and
                  Prakash Panangaden and
                  James T. Sasaki and
                  Scott F. Smith},
  title        = {Implementing mathematics with the Nuprl proof development system},
  publisher    = {Prentice Hall},
  year         = {1986},
  url          = {http://dl.acm.org/citation.cfm?id=10510},
  isbn         = {978-0-13-451832-9},
  timestamp    = {Sun, 24 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0068834.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/us/Sasaki86,
  author       = {James T. Sasaki},
  title        = {Extracting Efficient Programs From Constructive Proofs},
  school       = {Cornell University, {USA}},
  year         = {1986},
  timestamp    = {Thu, 07 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/us/Sasaki86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}