formal-methods

Me encontré con el isomorfismo de Curry-Howard relativamente tarde en mi vida de programación, y tal vez esto contribuye a qu ... tion | syllogism -- from Apocalisp continuation-passing | double negation -- from camccann