Posted on August 14, 2015 I wanted to write about something related to all the stuff...
Posted on August 14, 2015 I wanted to write about something related to all the stuff I’ve been reading for research lately. I decided to talk about a super cool trick in a field called domain theory. It’s a method of generating a solution to a large class of recursive equations. In order to go through this idea we’v...