Tag Archives: SK combinator calculus

Partiality is an effect

In languages like Coq where all computations must terminate and only total functions are allowed it would still be nice to be able to express non-terminating computations. While searching for solutions other people had come up with I stumbled across … Continue reading

Posted in Coq | Tagged , , | Leave a comment