Capsules And Non-Well-Founded Computation
File(s)
Permanent Link(s)
Collections
Author
Jeannin, Jean-Baptiste
Date Issued
2013-08-19
Committee Chair
Kozen, Dexter Campbell
Committee Member
Saxena, Ashutosh
Kress Gazit, Hadas
Foster, John N.
Degree Discipline
Computer Science
Degree Name
Ph. D., Computer Science
Degree Level
Doctor of Philosophy
Type
dissertation or thesis