Title: What is the category associated to a programming language with recursion and partiality, and can we make one from a differential language?
Abstract: This talk will introduce a famous concept in the functional programming community known as “immoral reasoning is acceptable.” This is the first talk in a 2 talk series to develop these ideas for a functional differential programming language. We will develop the category of partial equivalence relations for a functional programming language to give a way to move between denotations of total and partial functions.
